Compositional dynamic test generation

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2007, Pages 47-54

  Godefroid, Patrice ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

Automatic test generation; Compositional program analysis; Program verification; Scalability; Software testing

Indexed keywords

ALGORITHMS; AUTOMATIC TEST PATTERN GENERATION; MODEL CHECKING; SCALABILITY; SOFTWARE TESTING;

COMPOSITIONAL PROGRAM ANALYSIS; DYNAMIC PROGRAM ANALYSIS; PROGRAM VERIFICATION;

COMPUTER PROGRAMMING LANGUAGES;

EID: 34548273557     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1190216.1190226     Document Type: Conference Paper

References (25)

1. R. Alur, M. Benedikt, K. Etessami, P. Godefroid, T. Reps, and M. Yannakakis. Analysis of Recursive State Machines. TOPLAS, 27(4):786-818, July 2005.
2. R. Alur and M. Yannakakis. Model Checking of Hierarchical State Machines. In FSE'98.
3. D. Beyer, A. J. Chlipala, T. A. Henzinger, R. Jhala, and R. Majumdar. Generating Tests from Counterexamples. In ICSE'2004.
4. C. Boyapati, S. Khurshid, and D. Marinov. Korat: Automated testing based on Java predicates. In ISSTA'2002.
5. W.R. Bush, J.D. Pincus, and D.J. Sielaff. A static analyzer for finding dynamic programming errors. Software Practice and Experience, 30(7):775-802, 2000.
6. H. Chen, D. Dean, and D. Wagner. Model Checking One Million Lines of C Code. In NDSS'04.
7. C. Cadar and D. Engler. Execution Generated Test Cases: How to Make Systems Code Crash Itself. In SPIN'2005.
8. A. Chakrabarti and P. Godefroid. Software Partitioning for Effective Automated Unit Testing. In EMSOFT'2006.
9. C. Csallner and Y. Smaragdakis. Check'n Crash: Combining Static Checking and Testing. In ICSE'2005.
10. M. Das, S. Lerner, and M. Seigle. ESP: Path-Sensitive Program. Verification in Polynomial Time. In PLDI'2002.
11. J. Edvardsson. A Survey on Automatic Test Data Generation. In Proceedings of the 2nd Conference on Computer Science and Engineering, pages 21-28, Linkoping, October 1999.
12. P. Godefroid and N. Klarlund. Software Model Checking: Searching for Computations in the Abstract or the Concrete (Invited Paper). In IFM'2005.
13. P. Godefroid, N. Klarlund, and K. Sen. DART: Directed Automated Random Testing. In PLDI'2005.
14. N. Gupta, A. P. Mathur, and M. L. Soffa. Generating Test Data for Branch. Coverage. In ASE'2000.
15. P. Godefroid. Model Checking for Programming Languages using VeriSoft. In POPL'97.
16. P. Godefroid. The Soundness of Bugs is What Matters (Position Paper). In BUGS'2005.
17. S. Hallem, B. Chelf, Y. Xie, and D. Engler. A System and Language for Building System-Specific Static Analyses. In PLDI'2002.
18. J. C. King. Symbolic Execution, and Program Testing. Journal of the ACM, 19(7):385-394, 1976.
19. B. Korel. A Dynamic Approach, of Test Data Generation. In IEEE Conference on Software Maintenance, 1990.
20. G. J. Myers. The Art of Software Testing. Wiley, 1979.
21. T. Reps, S. Horwitz, and M. Sagiv. Precise interprocedural dataflow analysis via graph reachability. In POPL'95.
22. K. Sen, D. Marinov, and G. Agha. CUTE: A Concolic Unit Testing Engine for C. In FSE'2005.
23. W. Visser, C. Pasareanu, and S. Khurshid. Test Input Generation with. Java PathFinder. In ISSTA'2004.
24. T. Xie, D. Marinov, W. Schulte, and D. Notkin. Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution. In TACAS'2005.
25. J. Yang, C. Sar, P. Twohey, C. Cadar, and D. Engler. Automatically Generating Malicious Disks using Symbolic Execution. In Proceedings of IEEE Security and Privacy'2006, Oakland, 2006.