OCAT: Object Capture based Automated Testing

ISSTA'10 - Proceedings of the 2010 International Symposium on Software Testing and Analysis

Volumn , Issue , 2010, Pages 159-169

  Jaygarl, Hojun ^a   Kim, Sunghun ^b   Xie, Tao ^c   Chang, Carl K ^a  

^a Iowa State University   (United States)

^b HONG KONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Hong Kong)

^c North Carolina State University   (United States)

Author keywords

Automated testing; Object capturing; Object generation; Object mutation

Indexed keywords

AUTOMATED TEST; AUTOMATED TESTING; BRANCH COVERAGE; CODE COVERAGE; COMMONLY USED; EMPIRICAL FINDINGS; EMPIRICAL RESULTS; GENERATION TOOLS; METHOD SEQUENCES; OBJECT CAPTURE; OBJECT CAPTURING; OBJECT GENERATION; OBJECT MUTATION; OBJECT ORIENTED SOFTWARE; OPEN SOURCE PROJECTS; PROGRAM EXECUTION; RANDOM TESTING; SEARCH SPACES; SOFTWARE SYSTEMS; SYSTEM TESTING;

AUTOMATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; OBJECT ORIENTED PROGRAMMING; PROGRAM DEBUGGING; SOFTWARE TESTING;

AUTOMATIC TEST PATTERN GENERATION;

EID: 77955870180     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1831708.1831729     Document Type: Conference Paper

References (40)

1. Apache commons. http://commons.apache.org.
2. Apache XML security. http://santuario.apache.org/.
3. Cobertura. http://cobertura.sourceforge.net/.
4. JSAP. http://martiansoftware.com/jsap.
5. S. Artzi, S. Kim, and M. D. Ernst. ReCrash: Making software failures reproducible by preserving object states. In Proc. ECOOP, pages 542-565, 2008.
6. K. Beck and E. Gamma. Test infected: Programmers love writing tests. Java Report, 3(7):37-50, 1998.
7. N. Bjorner, N. Tillmann, and A. Voronkov. Path feasibility analysis for string-manipulating programs. In Proc. TACAS, pages 307-321, 2009.
8. C. Boyapati, S. Khurshid, and D. Marinov. Korat: automated testing based on Java predicates. In Proc. ISSTA, pages 123-133, 2002.
9. S. Chandra, S. J. Fink, and M. Sridharan. Snugglebug: a powerful approach to weakest preconditions. In Proc. PLDI, pages 363-374, 2009.
10. O. Consortium. Asm. http://asm.objectweb.org.
11. C. Csallner and Y. Smaragdakis. JCrasher: an automatic robustness tester for Java. Software: Practice and Experience, 34:1025-1050, 2004.
12. B. Dutertre and L. de Moura. System description: Yices 1.0. In Proc. SMT-COMP, 2006.
13. S. G. Elbaum, H. N. Chin, M. B. Dwyer, and M. Jorde. Carving and replaying differential unit test cases from system test cases. IEEE Trans. Software Eng., 35(1):29-45, 2009.
14. M. D. Ernst. Dynamically Discovering Likely Program Invariants. Ph.D., University of Washington Department of Computer Science and Engineering, Seattle, Washington, aug 2000.
15. P. Godefroid, N. Klarlund, and K. Sen. DART: Directed automated random testing. In Proc. PLDI, pages 213-223, 2005.
16. P. Hooimeijer and W. Weimer. A decision procedure for subset constraints over regular languages. In Proc. PLDI, pages 188-198, 2009.
17. S. Horwitz, T. Reps, and D. Binkley. Interprocedural slicing using dependence graphs. ACM Transactions on Programming Languages and Systems, 12:26-60, 1990.
18. 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, September 2008.
19. D. Jackson, I. Shlyakhter, and M. Sridharan. A micromodularity mechanism. In Proc. 8th ESEC/FSE, pages 62-73, 2001.
20. H. Jaygarl, S. Kim, and C. K. Chang. Practical extensions of a randomized testing tool. In Proc. COMPSAC, pages 148-153. IEEE Computer Society, 2009.
21. S. Khurshid and D. Marinov. TestEra: Specification-based testing of Java programs using SAT. Automated Software Engg., 11(4):403-434, 2004.
22. A. Kiezun, V. Ganesh, P. J. Guo, P. Hooimeijer, and M. D. Ernst. HAMPI: a solver for string constraints. In Proc. ISSTA, pages 105-116, 2009.
23. J. C. King. Symbolic execution and program testing. Commun. ACM, 19(7):385-394, 1976.
24. B. Liskov and J. Guttag. Program Development in Java: Abstraction, specification, and object-oriented design. Addison-Wesley, 2000.
25. T. Mackinnon, S. Freeman, and P. Craig. Endo-testing: Unit testing with mock objects. In Extreme Programming Examined. Addison-Wesley, 2001.
26. C. Pacheco, S. K. Lahiri, M. D. Ernst, and T. Ball. Feedback-directed random test generation. In Proc. ICSE, pages 75-84, 2007.
27. K. Sen. Effective random testing of concurrent programs. In Proc. ASE, pages 323-332, 2007.
28. K. Sen and G. Agha. CUTE and jCUTE: Concolic unit testing and explicit path model-checking tools. In Proc. CAV, pages 419-423, 2006.
29. K. Sen, D. Marinov, and G. Agha. CUTE: A concolic unit testing engine for C. In Proc. ESEC/FSE, pages 263-272, 2005.
30. J. Steven, P. Chandra, B. Fleck, and A. Podgurski. jRapture: A capture/replay tool for observation-based testing. In Proc. ISSTA, pages 158-167, 2000.
31. Sun Microsystems. Java reflection API, 2001. Online manual.
32. S. Thummalapenta, T. Xie, N. Tillmann, P. de Halleux, and W. Schulte. In Proc. ESEC/FSE.
33. N. Tillmann and J. de Halleux. Pex-white box test generation for. NET. In Proc. TAP, pages 134-153, 2008.
34. N. Tillmann and W. Schulte. Mock-object generation with behavior. In Proc. ASE, pages 365-368, 2006.
35. P. Tonella. Evolutionary testing of classes. In Proc. ISSTA, pages 119-128, 2004.
36. W. Visser, C. S. Pasareanu, and S. Khurshid. Test input generation with Java PathFinder. In Proc. ISSTA, pages 97-107, 2004.
37. W. Visser, C. S. Pǎsǎreanu, and R. Pelánek. Test input generation for Java containers using state matching. In Proc. ISSTA, pages 37-48, 2006.
38. E. Y. C. Wong, A. T. S. Chan, and H.-V. Leong. Efficient management of XML contents over wireless environment by Xstream. In Proc. SAC, pages 1122-1127, 2004.
39. T. Xie, D. Marinov, and D. Notkin. Rostra: A framework for detecting redundant object-oriented unit tests. In Proc. ASE, pages 196-205, 2004.
40. T. Xie, D. Marinov, W. Schulte, and D. Notkin. Symstra: A framework for generating object-oriented unit tests using symbolic execution. In Proc. TACAS, pages 365-381, 2005.