Predictive testing: Amplifying the effectiveness of software testing

ESEC/FSE'07: 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering - Companion Papers

Volumn , Issue , 2007, Pages 561-564

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

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Reliability; Verification

Indexed keywords

PROGRAM DEBUGGING; RELIABILITY; VERIFICATION;

CONCOLIC EXECUTION; PREDICTIVE TESTING; SECURITY VULNERABILITIES;

SOFTWARE TESTING;

EID: 37849012644     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1295014.1295041     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.