Handling dynamic data structures in search based testing

GECCO'08: Proceedings of the 10th Annual Conference on Genetic and Evolutionary Computation 2008

Volumn , Issue , 2008, Pages 1759-1766

  Lakhotia, Kiran ^a   Harman, Mark ^a   McMinn, Phil ^b  

^a KING'S COLLEGE LONDON   (United Kingdom)

^b UNIVERSITY OF SHEFFIELD   (United Kingdom)

Author keywords

Automated test data generation; Concolic testing; Symbolic execution

Indexed keywords

DATA STRUCTURES;

AUTOMATED TEST DATA GENERATION; CONCOLIC TESTING; CONSTRAINT SOLVING; DYNAMIC DATA STRUCTURE; HANDLING DYNAMICS; SEARCH-BASED TEST DATA GENERATIONS; SEARCH-BASED TESTING; SYMBOLIC EXECUTION;

DATA HANDLING;

EID: 57349182637     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1389095.1389435     Document Type: Conference Paper

References (22)

1. lp-solve. web page: http://tech.groups.yahoo.com/group/lp-solve/.
2. Cristian Cadar and Dawson R. Engler. Execution generated test cases: How to make systems code crash itself. In Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings, volume 3639 of Lecture Notes in Computer Science, pages 2-23. Springer, 2005.
3. Richard A. Demillo and A. Jefferson Offutt. Experimental results from an automatic test case generator. ACM Transactions on Software Engineering and Methodology, 2(2):109-127, April 1993.
4. Patrice Godefroid. Compositional dynamic test generation. In Martin Hofmann and Matthias Felleisen, editors, POPL, pages 47-54. ACM, 2007.
5. Patrice Godefroid, Nils Klarlund, and Koushik Sen. DART: directed automated random testing. ACM SIGPLAN Notices, 40(6):213-223, June 2005.
6. Mark Harman. The current state and future of search based software engineering. In IEEE Computer Society Press, Future of Software Engineering 2007, Los Alamitos, California, USA, 2007, 2007.
7. Mark Harman and Phil McMinn. A theoretical & empirical analysis of evolutionary testing and hill limbing for structural test data generation. In David S. Rosenblum and Sebastian G. Elbaum, editors, ISSTA, pages 73-83. ACM, 2007.
8. Kobi Inkumsah and Tao Xie. Evacon: A framework for integrating evolutionary and concolic testing for object-oriented programs. In Proc. 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), pages 425-428, November 2007.
9. B.F. Jones, H.-H. Sthamer, and D.E. Eyres. Automatic structural testing using genetic algorithms. The Software Engineering Journal, 11:299-306, 1996.
10. D. Kebbal. Automatic flow analysis using symbolic execution and path enumeration. In ICPP Workshops, pages 397-404. IEEE Computer Society, 2006.
11. Sarfraz Khurshid, Corina S. Pasareanu, and Willem Visser. Generalized symbolic execution for model checking and testing. In Hubert Garavel and John Hatcliff, editors, TACAS, volume 2619 of Lecture Notes in Computer Science, pages 553-568. Springer, 2003.
12. J. C. King. Symbolic execution and program testing. Communications of the ACM, 19(7):385-394, July 1976.
13. B. Korel. Automated software test data generation. IEEE Transactions on Software Engineering, 16(8):870-879, 1990.
14. Rupak Majumdar and Koushik Sen. Hybrid concolic testing. In ICSE, pages 416-426. IEEE Computer Society, 2007.
15. Phil McMinn. Search-based software test data generation: A survey. Software Testing, Verification and Reliability, 14(2):105-156, June 2004.
16. Christoph C. Michael, Gary McGraw, and Michael Schatz. Generating software test data by evolution. IEEE Trans. Software Eng, 27(12):1085-1110, 2001.
17. George C. Necula, Scott McPeak, Shree P. Rahul, and Westley Weimer. CIL: Intermediate language and tools for analysis and transformation of C programs. Lecture Notes in Computer Science, 2304:213, 2002.
18. R. P. Pargas, M. J. Harrold, and R. R. Peck. Test-data generation using genetic algorithms. The Journal of Software Testing, Verification and Reliability, 9:263-282, 1999.
19. Koushik Sen and Gul Agha. CUTE and jCUTE: Concolic unit testing and explicit path model-checking tools. In CAV, volume 4144 of Lecture Notes in Computer Science, pages 419-423. Springer, 2006.
20. Paolo Tonella. Evolutionary testing of classes. In George S. Avrunin and Gregg Rothermel, editors, ISSTA, pages 119-128. ACM, 2004.
21. Joachim Wegener, André Baresel, and Harmen Sthamer. Evolutionary test environment for automatic structural testing. Information and Software Technology Special Issue on Software Engineering using Metaheuristic Innovative Algorithms, 43(14):841-854, 2001.
22. th International Conference on Software Engineering and its Applications, pages 625-636, Toulouse, France, 1992.