Fitness-guided path exploration in dynamic symbolic execution

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2009, Pages 359-368

  Xie, Tao ^a   Tillmann, Nikolai ^b   De Halleux, Jonathan ^b   Schulte, Wolfram ^b  

^a North Carolina State University   (United States)

^b MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODE COVERAGE; EMPIRICAL RESULTS; FITNESS FUNCTIONS; FITNESS VALUES; GUIDED SEARCH; MICROSOFT RESEARCHES; NEW APPROACHES; PATH EXPLORATION; SEARCH STRATEGIES; STATE-DEPENDENT; STRUCTURAL TESTING; SYMBOLIC EXECUTION; TEST INPUTS;

FUNCTION EVALUATION; TEST FACILITIES; TESTING;

HEALTH;

EID: 70450057300     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSN.2009.5270315     Document Type: Conference Paper

References (18)

1. S. Anand, C. S. Pasareanu, and W. Visser. JPF-SE: A symbolic execution extension to Java Pathfinder. In Proc. TACAS, pages 134-138, 2007.
2. J. Burnim and K. Sen. Heuristics for scalable dynamic test generation. In Proc. ASE, pages 443-446, 2008.
3. C. Cadar, V. Ganesh, P. M. Pawlowski, D. L. Dill, and D. R. Engler. EXE: automatically generating inputs of death. In Proc. ACM CCS, pages 322-335, 2006.
4. L. A. Clarke. A system to generate test data and symbolically execute programs. IEEE Trans. Softw. Eng., 2(3):215-222, 1976.
5. P. Godefroid. Compositional dynamic test generation. In Proc. POPL, pages 47-54, 2007.
6. P. Godefroid, N. Klarlund, and K. Sen. DART: Directed automated random testing. In Proc. PLDI, pages 75-84, 2005.
7. P. Godefroid, M. Y. Levin, and D. Molnar. Automated whitebox fuzz testing. In Proc. NDSS, pages 151-166, 2008.
8. A. Groce and W. Visser. Model checking Java programs using structural heuristics. In Proc. ISSTA, pages 12-21, 2002.
9. 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.
10. J. C. King. Symbolic execution and program testing. Commun. ACM, 19(7):385-394, 1976.
11. P. McMinn. Search-based software test data generation: a survey. Softw. Test. Verif. Reliab., 14(2):105-156, 2004.
12. B. Meyer. Object-Oriented Software Construction. Prentice Hall, 1988.
13. C. Pacheco, S. K. Lahiri,M. D. Ernst, and T. Ball. Feedback-directed random test generation. In Proc. ICSE, pages 75-84, 2007.
14. K. Sen, D. Marinov, and G. Agha. CUTE: A concolic unit testing engine for C. In Proc. ESEC/FSE, pages 263-272, 2005.
15. N. Tillmann and J. de Halleux. Pex - white box test generation for .NET. In Proc. TAP, pages 134-153, 2008.
16. N. Tillmann and W. Schulte. Parameterized unit tests. In Proc. ESEC/FSE, pages 253-262, 2005.
17. P. Tonella. Evolutionary testing of classes. In Proc. ISSTA, pages 119-128, 2004.
18. N. Tracey, J. Clark, and K. Mander. Automated program flaw finding using simulated annealing. In Proc. ISSTA, pages 73-81, 1998.