eXpress: Guided path exploration for efficient regression test generation

2011 International Symposium on Software Testing and Analysis, ISSTA 2011 - Proceedings

Volumn , Issue , 2011, Pages 1-11

  Taneja, Kunal ^a   Xie, Tao ^a   Tillmann, Nikolai ^b   De Halleux, Jonathan ^b  

^a North Carolina State University   (United States)

^b MICROSOFT RESEARCH   (United States)

Author keywords

regression testing; test generation

Indexed keywords

CODE CHANGES; CONTINUOUS TESTING; DYNAMIC SYMBOLIC EXECUTIONS; OPEN SOURCE PROJECTS; PATH EXPLORATION; PROGRAM STATE; REGRESSION TESTING; REGRESSION TESTS; SEARCH STRATEGIES; SOFTWARE DEVELOPER; SOFTWARE PROGRAM; TEST GENERATIONS; TIME BOUND;

BEHAVIORAL RESEARCH; COMPUTER SOFTWARE SELECTION AND EVALUATION; REGRESSION ANALYSIS; TESTING;

SOFTWARE TESTING;

EID: 80051930248     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2001420.2001422     Document Type: Conference Paper

References (30)

1. J. Burnim and K. Sen. Heuristics for scalable dynamic test generation. In Proc. ASE, pages 443-446, 2008.
2. C. Cadar, V. Ganesh, P. M. Pawlowski, D. L. Dill, and D. R. Engler. EXE: automatically generating inputs of death. In Proc. CCS, pages 322-335, 2006.
3. L. Clarke. A system to generate test data and symbolically execute programs. TSE, 2(3):215-222, 1976.
4. D. Dig, C. Comertoglu, D. Marinov, and R. Johnson. Automatic detection of refactorings in evolving components. In Proc. ECOOP, pages 404-428, 2006.
5. H. Do, S. G. Elbaum, and G. Rothermel. Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact. ESE, 10(4):405-435, 2005. (Pubitemid 41408554)
6. R. B. Evans and A. Savoia. Differential testing: a new approach to change detection. In Proc. FSE, pages 549-552, 2007.
7. P. Godefroid. Compositional dynamic test generation. In Proc. POPL, pages 47-54, 2007.
8. P. Godefroid, N. Klarlund, and K. Sen. DART: directed automated random testing. Proc. PLDI, pages 213-223, 2005.
9. P. Godefroid, M. Y. Levin, and D. A. Molnar. Automated whitebox fuzz testing. In Proc. NDSS, pages 151-166, 2008.
10. K. Inkumsah and T. Xie. Improving structural testing of object-oriented programs via integrating evolutionary testing and symbolic execution. In Proc. ASE, pages 297-306, 2008.
11. W. Jin, A. Orso, and T. Xie. Automated behavioral regression testing. In Proc. ICST, pages 137-146, 2010.
12. J. C. King. Symbolic execution and program testing. Communications of the ACM, 19(7):385-394, 1976.
13. S. Person, M. B. Dwyer, S. Elbaum, and C. S. Pǎsǎreanu. Differential symbolic execution. In Proc. FSE, pages 226-237, 2008.
14. D. Qi, A. Roychoudhury, and Z. Liang. Test generation to expose changes in evolving programs. In Proc. ASE, pages 397-406, 2010.
15. D. Saff and M. D. Ernst. Reducing wasted development time via continuous testing. In Proc. ISSRE, pages 281-292, 2003.
16. R. A. Santelices, P. Chittimalli, T. Apiwattanapong, A. Orso, and M. J. Harrold. Test-suite augmentation for evolving software. In Proc. ASE, pages 218-227, 2008.
17. K. Sen, D. Marinov, and G. Agha. CUTE: a concolic unit testing engine for C. In Proc. FSE, pages 263-272, 2005.
18. A. L. Souter and L. L. Pollock. Incremental call graph reanalysis for object-oriented software maintenance. In Proc. ICSM, pages 682-691, 2001.
19. K. Taneja and T. Xie. DiffGen: Automated regression unit-test generation. In Proc. ASE, pages 407-410, 2008.
20. K. Taneja, T. Xie, N. Tillmann, J. de Halleux, and W. Schulte. Guided path exploration for regression test generation. In Proc. ICSE, NIER, pages 311-314, 2009.
21. N. Tillmann and J. de Halleux. Pex-white box test generation for .NET. In Proc. TAP, pages 134-153, 2008.
22. P. Tonella. Evolutionary testing of classes. In Proc. ISSTA, pages 119-128, 2004.
23. W. Visser, C. S. Pǎsǎreanu, and S. Khurshid. Test input generation with Java Pathfinder. In Proc. ISSTA, pages 97-107, 2004.
24. J. Voas. PIE: A dynamic failure-based technique. TSE, 18(8):717-727, 1992.
25. T. Xie. Augmenting automatically generated unit-test suites with regression oracle checking. In Proc. ECOOP, pages 380-403, 2006.
26. T. Xie and D. Notkin. Checking inside the black box: Regression testing by comparing value spectra. TSE, 31(10):869-883, 2005. (Pubitemid 43065750)
27. T. Xie, N. Tillmann, P. de Halleux, and W. Schulte. Fitness-guided path exploration in dynamic symbolic execution. In Proc. DSN, pages 359-368, 2009.
28. Z. Xu, M. B. Cohen, and G. Rothermel. Factors affecting the use of genetic algorithms in test suite augmentation. In Proc. GECCO, pages 1365-1372, 2010.
29. Z. Xu, Y. Kim, M. Kim, G. Rothermel, and M. B. Cohen. Directed test suite augmentation: Techniques and tradeoffs. In Proc. FSE, pages 257-266, 2010.
30. Z. Xu and G. Rothermel. Directed test suite augmentation. In Proc. APSEC, pages 406-413, 2009.