Improving structural testing of object-oriented programs via integrating evolutionary testing and symbolic execution

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

Volumn , Issue , 2008, Pages 297-306

  Inkumsah, Kobi ^a   Xie, Tao ^a  

^a North Carolina State University

Author keywords

[No Author keywords available]

Indexed keywords

BRANCH COVERAGES; COMPLEX PROGRAMS; DEEP KNOWLEDGES; DESIRABLE METHODS; EVOLUTIONARY TESTING; METHOD SEQUENCES; OBJECT-ORIENTED; PROGRAM STRUCTURES; RANDOM TESTING; SYMBOLIC EXECUTIONS; TEST GENERATIONS;

INFORMATION THEORY; KETONES; SOFTWARE ENGINEERING; SOFTWARE TESTING;

TESTING;

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

References (24)

1. H. Zhu, P. A. V. Hall, and J. H. R. May, "Software unit test coverage and adequacy," ACM Computing Surveys, vol. 29, no. 4, pp. 366-427, 1997.
2. W. Visser, C. S. Pǎsǎreanu, and R. Pelánek, "Test input generation for Java containers using state matching," in Proc. ACM SIGSOFT International Symposium on Software Testing and Analysis, 2006, pp. 37-48.
3. K. Sen and G. Agha, "CUTE and jCUTE: Concolic unit testing and explicit path model-checking tools," in Proc. International Conference on Computer Aided Verification, 2006, pp. 419-423.
4. T. Xie, D. Marinov, and D. Notkin, "Rostra: A framework for detecting redundant object-oriented unit tests," in Proc. IEEE International Conference on Automated Software Engineering, 2004, pp. 196-205.
5. T. Xie, D. Marinov, W. Schulte, and D. Notkin, "Symstra: A framework for generating object-oriented unit tests using symbolic execution," in Proc. International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2005, pp. 365-381.
6. P. Tonella, "Evolutionary testing of classes," in Proc. ACM SIGSOFT International Symposium on Software Testing and Analysis, 2004, pp. 119-128.
7. K. Inkumsah and T. Xie, "Evacon: A framework for integrating evolutionary and concolic testing for object-oriented programs," in Proc. IEEE/ACM International Conference on Automated Software Engineering, 2007, pp. 425-428.
8. P. McMinn, M. Harman, D. Binkley, and P. Tonella, "The species per path approach to search-based test data generation," in Proc. International Symposium on Software Testing and Analysis, 2006, pp. 13-24.
9. R. P. Pargas, M. J. Harrold, and R. Peck, "Test-data generation using genetic algorithms," Software Testing, Verification & Reliability, vol. 9, no. 4, pp. 263-282, 1999.
10. S. Wappler and F. Lammermann, "Using evolutionary algorithms for the unit testing of object-oriented software," in Proc. Conference on Genetic and Evolutionary Computation, 2005, pp. 1053-1060.
11. N. Tillmann and W. Schulte, "Unit tests reloaded: Parameterized unit testing with symbolic execution," IEEE Software, vol. 23, no. 4, pp. 38-47, 2006.
12. JUnit, http://www.jun.it.org/.
13. AspectJ Compiler, http://www.ecl.ipse.org/aspectj/doc/released/devguide/ ajc-ref.html.
14. AspectJ, http://www.ecl.ipse.org/aspectj/.
15. P. Godetroid, N. Klarlund, and K. Sen, "DART: Directed automated random testing," in Proc. ACM. SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005, pp. 213-223.
16. Agitar Labs, "JUnit Factory," http://www.jun.itfactory.com/.
17. C. Pacheco and M. D. Ernst, "Randoop: Feedback-directed random testing for Java," in Companion to ACM SIGPLAN Conference on Object Oriented Programming Systems and Applications Companion, 2007, pp. 815-816.
18. "Hansel 2.0," http://hansel.sourceforge.net/.
19. C. Pavlopoulou and M. Young, "Residual test coverage monitoring," in Proc. International Conference on. Software Engineering, 1999, pp. 277-284.
20. M. J. Harrold and G. Rothermel, "Performing data flow testing on classes," in Proc. ACM SIGSOFT Symposium on Foundations of Software Engineering, 1994, pp. 154-163.
21. R. A. DeMillo, R. J. Lipton, and F. G. Sayward, "Hints on test data selection: Help for the practicing programmer," IEEE Computer, vol. 11, no. 4, pp. 34-41, April 1978.
22. C. Oriat, "Jartege: A tool for random generation of unit tests for java classes," http://arx.iv.org/abs/cs/0412012.
23. N. Gupta, A. P. Mathur, and M. L. Soffa, "Generating test data for branch coverage," in Proc. IEEE International Conference on Automated Software Engineering, 2000, pp. 219-228.
24. R. Ferguson and B. Korel, "The chaining approach for software test data generation," ACM Transaction Software Engineering Methodology, vol. 5, no. 1, pp. 63-86, 1996.