Predictive testing: Amplifying the effectiveness of software testing

6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007

Volumn , Issue , 2007, Pages 561-564

  Joshi, Pallavi ^a   Sen, Koushik ^a   Shlimovich, Mark ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Assertion hoisting; Predictive testing; Random testing; Symbolic execution; Testing C programs

Indexed keywords

CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES; SECURITY OF DATA; STATIC ANALYSIS; COMPUTER SOFTWARE SELECTION AND EVALUATION; CONCRETE TESTING; PROBABILITY DENSITY FUNCTION; PROGRAM DEBUGGING; SAFETY TESTING; SOFTWARE ENGINEERING; SOFTWARE RELIABILITY; TESTING; VERIFICATION;

ASSERTION HOISTING; PREDICTIVE TESTING; RANDOM TESTING; SYMBOLIC EXECUTION; TESTING C PROGRAMS; AUTOMATED TEST GENERATIONS; CORNER CASES; NOVEL TECHNIQUES; PROGRAM INVARIANTS; PROGRAM UNITS; SAFETY VIOLATIONS; SECURITY VULNERABILITIES; SOFTWARE SYSTEMS; SYMBOLIC ANALYSIS; SYMBOLIC EXECUTIONS; TEST CASES; TEST EXECUTIONS; TEST INPUTS; TEST SUITES; UNIT FUNCTIONS;

SOFTWARE TESTING;

EID: 57149138806     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1287624.1287710     Document Type: Conference Paper

References (14)

1. D. Beyer, A. J. Chlipala, T. A. Henzinger, R. Jhala, and R. Majumdar. Generating Test from Counterexamples. In Proc. of the 26th ICSE, pages 326-335, 2004.
2. D. Bird and C. Munoz. Automatic Generation of Random Self-Checking Test Cases. IBM Systems Journal, 22(3):229-245, 1983.
3. J. Condit, M. Harren, Z. Anderson, D. Gay, and G. Necula. Dependent types for low-level programs. Technical Report EECS-2006-129, UC Berkeley, 2006.
4. B. Dutertre and L. M. de Moura. A fast linear-arithmetic solver for dpll(t). In Computer Aided Verification, volume 4144 of LNCS, pages 81-94, 2006.
5. J. E. Forrester and B. P. Miller. An Empirical Study of the Robustness of Windows NT Applications Using Random Testing. In Proceedings of the 4th USENIX Windows System Symposium, 2000.
6. P. Godefroid, N. Klarlund, and K. Sen. DART: Directed automated random testing. In Proc. of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation (PLDI), 2005.
7. R. W. M. Jones and P. H. J. Kelly. Backwards-compatible bounds checking for arrays and pointers in C programs. AADEBUG, 1997.
8. S. Khurshid, C. S. Pasareanu, and W. Visser. Generalized symbolic execution for model checking and testing. In Proc. 9th Int. Conf. on TACAS, pages 553-568, 2003.
9. J. C. King. Symbolic Execution and Program Testing. Communications of the ACM, 19(7):385-394, 1976.
10. R. Majumdar and K. Sen. Hybrid concolic testing. In 29th International Conference on Software Engineering (ICSE'07). IEEE. (To Appear).
11. G. C. Necula, J. Condit, M. Harren, S. McPeak, and W. Weimer. CCured: Type-safe retrofitting of legacy software. TOPLAS, 27(3), May 2005.
12. G. C. Necula, S. McPeak, S. P. Rahul, and W. Weimer. CIL: Intermediate Language and Tools for Analysis and transformation of C Programs. In Proceedings of Conference on compiler Construction, pages 213-228, 2002.
13. J. Offut and J. Hayes. A Semantic Model of Program Faults. In Proc. of ISSTA'96, pages 195-200, 1996.
14. K. Sen, D. Marinov, and G. Agha. CUTE: A concolic unit testing engine for C. In 5th joint meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'05). ACM, 2005.