Combined static and dynamic automated test generation

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

Volumn , Issue , 2011, Pages 353-363

  Zhang, Sai ^a   Saff, David ^b   Bu, Yingyi ^c   Ernst, Michael D ^a  

^a UNIVERSITY OF WASHINGTON   (United States)

^b GOOGLE INC   (United States)

^c UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

automated test generation; dynamic analyses; static

Indexed keywords

AUTOMATED TEST GENERATIONS; DEPENDENCE RELATION; DYNAMIC PHASE; FORMAL SPECIFICATION; JAVA PROGRAM; OBJECT-ORIENTED PROGRAM; OPEN-SOURCE; PROGRAM STATE; RANDOM TESTS; STATIC; STATIC AND DYNAMIC; STATIC PHASE; UNIT TESTS;

AUTOMATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; DYNAMIC ANALYSIS; JAVA PROGRAMMING LANGUAGE; OBJECT ORIENTED PROGRAMMING; STATIC ANALYSIS; TESTING;

SOFTWARE TESTING;

EID: 80051934401     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2001420.2001463     Document Type: Conference Paper

References (40)

1. Apache Commons Collections project page. http://commons.apache.org/ collections/.
2. S. Artzi, M. D. Ernst, A. Kieżun, C. Pacheco, and J. H. Perkins. Finding the needles in the haystack: Generating legal test inputs for object-oriented programs. In 1st Workshop on Model-Based Testing and Object-Oriented, Oct, 2006.
3. BCEL project page. http://jakarta.apache.org/bcel/.
4. A. Biermann and J. Feldman. On the synthesis of finite-state machines from samples of their behavior. IEEE Trans. on Computers, 21(6), 1972.
5. C. Boyapati, S. Khurshid, and D. Marinov. Korat: automated testing based on Java predicates. In ISSTA, 2002.
6. C.Csallner and Y. Smaragdakis. JCrasher: an automatic robustness tester for Java. In Software: Practice and Experience, 34(11), pages 1025-1050, 2004.
7. I. Ciupa and A. Leitner. Automatic testing based on design by contract. In In Proceedings of Net.ObjectDays, 2005.
8. Cobertura home. http://cobertura.sourceforge.net/.
9. J. E. Cook and A. L. Wolf. Discovering models of software processes from event-based data. ACM Trans. Softw. Eng. Methodol., 7(3):215-249, 1998.
10. V. Dallmeier, N. Knopp, C. Mallon, S. Hack, and A. Zeller. Generating test cases for specification mining. In ISSTA, 2010.
11. V. Dallmeier, C. Lindig, A. Wasylkowski, and A. Zeller. Mining object behavior with ADABU. In WODA, 2006.
12. S. Elbaum, H. N. Chin, M. B. Dwyer, and J. Dokulil. Carving differential unit test cases from system test cases. In SIGSOFT/FSE-14, pages 253-264, 2006.
13. M. D. Ernst. Static and dynamic analysis: Synergy and duality. In WODA, 2003.
14. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. In ICSE, 1999.
15. P. Godefroid, N. Klarlund, and K. Sen. DART: directed automated random testing. In PLDI, 2005.
16. W. Grieskamp, Y. Gurevich, W. Schulte, and M. Veanes. Generating finite state machines from abstract state machines. In ISSTA, 2002.
17. H. Jaygarl, S. Kim, T. Xie, and C. K. Chang. OCAT: Object capture-based automated testing. In ISSTA, 2010.
18. K. S. Jones. A statistical interpretation of term specificity and its application in retrieval. Journal of Documentation, 28:11-21, 1972.
19. M. Jorde, S. Elbaum, and M. B. Dwyer. Increasing test granularity by aggregating unit tests. In ASE, 2008.
20. JSAP home. http://martiansoftware.com/jsap/.
21. F. Long, X. Wang, and Y. Cai. API hyperlinking via structural overlap. In ESEC/FSE, 2009.
22. D. Lorenzoli, L. Mariani, and M. Pezzè. Automatic generation of software behavioral models. In ICSE, 2008.
23. D. Marinov and S. Khurshid. TestEra: A novel framework for automated testing of Java programs. In ASE, 2001.
24. S. McConnell. Code complete, 2nd ed. Microsoft Press, 2004.
25. C. Pacheco and M. D. Ernst. Eclat: Automatic generation and classification of test inputs. In ECOOP, 2005.
26. C. Pacheco, S. K. Lahiri, M. D. Ernst, and T. Ball. Feedback-directed random test generation. In ICSE, 2007.
27. Valentin Dallmeier. Personal Communication, May 2011.
28. Rhino project page. http://www.mozilla.org/rhino/.
29. D. Saff, S. Artzi, J. H. Perkins, and M. D. Ernst. Automatic test factoring for Java. In ASE, 2005.
30. D. Saff, M. Boshernitsan, and M. D. Ernst. Theories in practice: Easy-to-write specifications that catch bugs. Technical Report MIT-CSAIL-TR-2008-002, MIT, Cambridge, MA, 01/14, 2008.
31. SAT4J project page. http://www.sat4j.org/.
32. K. Sen, D. Marinov, and G. Agha. CUTE: a concolic unit testing engine for C. In ESEC/FSE-13, 2005.
33. S. Thummalapenta, T. Xie, N. Tillmann, P. de Halleux, and W. Schulte. MSeqGen: Object-oriented unit-test generation via mining source code. In ESEC/FSE, 2009.
34. N. Tillmann and W. Schulte. Parameterized unit tests. In ESEC/FSE-13, 2005.
35. tinySQL home. http://www.jepstone.net/tinySQL/.
36. C. D. Turner and D. J. Robson. The state-based testing of object-oriented programs. In ICSM, 1993.
37. W. Visser, C. S. Pǎsǎreanu, and S. Khurshid. Test input generation with Java PathFinder. In ISSTA, 2004.
38. J. Whaley, M. C. Martin, and M. S. Lam. Automatic extraction of object-oriented component interfaces. In ISSTA, 2002.
39. S. Zhang, Y. Bu, X. Wang, and M. D. Ernst. Dependence-guided random test generation. CSE 503 Course Project Report, University of Washington. URL: www.cs.washington.edu/homes/szhang/gencc.pdf, May 2010.
40. W. Zheng, Q. Zhang, M. Lyu, and T. Xie. Random unit-test generation with mut-aware sequence recommendation. In ASE, 2010.