Predicting effectiveness of automatic testing tools

ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, Proceedings

Volumn , Issue , 2008, Pages 363-366

  Daniel, Brett ^a   Boshernitsan, Marat ^b  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

^b Coverity Inc ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC TEST GENERATIONS; CHALLENGING PROBLEMS; COMPLEX CODES; DECISION TREE CLASSIFIERS; INPUT PROGRAMS; SOFTWARE PROJECTS; STRUCTURAL FEATURES; STRUCTURAL METRICS; STRUCTURAL PROGRAMS; TEST COVERAGES; TEST GENERATIONS;

AUTOMATIC TESTING; CLASSIFIERS; DECISION THEORY; DECISION TREES; LEARNING SYSTEMS; SOFTWARE ENGINEERING;

AUTOMATIC PROGRAMMING;

EID: 56249087984     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2008.49     Document Type: Conference Paper

References (17)

1. D. Beyer, A. J. Chlipala, and R. Majumdar, "Generating tests from. counterexamples," in ICSE, 2004.
2. W. Visser, C. S. Pǎsǎreanu, and S. Khurshid, "Test input generation with Java PathFinder," in ISSTA, 2004.
3. T. Xie, D. Marinov, W. Schulte, and D. Notkin, "Symstra: A framework for generating object-oriented unit tests using symbolic execution," in TACAS, 2005.
4. N. Gupta, A. P. Mathur, and M. L. Soffa, "Generating test data for branch coverage," in ASE, 2000.
5. C. Pacheco, S. K. Lahiri, M. D. Ernst, and T. Ball, "Feedback- directed random test generation," in ICSE, 2007.
6. M. Boshernitsan, R. Doong, and A. Savoia, "From. Daikon to Agitator: lessons and challenges in building a commercial tool for developer testing," in ISSTA, 2006.
7. C. Cadar and. D. R. Engler, "Execution generated test cases," in SPIN, 2005.
8. P. Godefroid, "Compositional dynamic test generation," in POPL, 2007.
9. P. Godefroid, N. Klarlund, and K. Sen, "DART: directed automated random testing," in PLDI, 2005.
10. K. Sen, D. Marinov, and G. Agha, "Cute: a concolic unit testing engine for C," in ESEC/FSE, 2005.
11. K. Inkumsah and T. Xie, "Evacon: a framework for integrating evo-lutionary and concolic testing for object-oriented programs," in ASE, 2007.
12. S. A. Cook, "The complexity of theorem-proving procedures," in STOC, 1971.
13. B. Daniel and M. Boshernitsan, "Predicting and explaining automatic testing tool effectiveness," University of Illinois at Urbana-Champaign, Tech. Rep. UIUCDCS-R-2008-2956, April 2008.
14. T. McCabe, "A complexity measure," IEEE Trarn. Soft. Eng., vol. 2, no. 4, pp. 308-320, 1976.
15. J. R. Quintan, C4.5: Programs for Machine learning. Morgan Kaufmann, 1993.
16. I. H. Witten and E. Frank, Data Mining: Practical Machine Learning Tools and Techniques, 2nd ed. Morgan Kaufmann, 2005.
17. K. Beck, Test-Driven Development by Example. Addison Wesley, 2003.