Symbolic search-based testing

2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings

Volumn , Issue , 2011, Pages 53-62

  Baars, Arthur ^a   Harman, Mark ^b   Hassoun, Youssef ^c   Lakhotia, Kiran ^b   McMinn, Phil ^d   Tonella, Paolo ^e   Vos, Tanja ^a  

^a UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

^b UNIVERSITY COLLEGE LONDON   (United Kingdom)

^c KING'S COLLEGE LONDON   (United Kingdom)

^d UNIVERSITY OF SHEFFIELD   (United Kingdom)

^e FONDAZIONE BRUNO KESSLER   (Italy)

Author keywords

Fitness Functions; Search Based Testing; Symbolic Execution

Indexed keywords

CLOSED SOURCE; FITNESS EVALUATIONS; FITNESS FUNCTIONS; GLOBAL SEARCH; LOCAL SEARCH; OPEN SOURCE SYSTEM; SEARCH-BASED; SYMBOLIC EXECUTION; TEST DATA; TEST DATA GENERATION; TESTING TECHNIQUE; WILCOXON SIGNED RANK TEST;

ALGORITHMS; DYNAMIC ANALYSIS; HEALTH; OPEN SYSTEMS; SOFTWARE ENGINEERING; TESTING;

SOFTWARE TESTING;

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

References (30)

1. M. Harman, Y. Hassoun, K. Lakhotia, P. McMinn, and J. Wegener, "The Impact of Input Domain Reduction on Search-Based Test Data Generation," in ESEC/SIGSOFT FSE, 2007, pp. 93-101.
2. M. Harman and P. McMinn, "A theoretical and empirical study of search-based testing: Local, global, and hybrid search," IEEE TSE, vol. 36, no. 2, pp. 226-247, 2010.
3. B. Korel, "Automated software test data generation," IEEE TSE, vol. 16, no. 8, pp. 870-879, Aug. 1990. (Pubitemid 20738724)
4. K. Lakhotia, P. McMinn, and M. Harman, "An empirical investigation into branch coverage for C programs using CUTE and AUSTIN," The J. of Systems and Software, vol. 83, no. 12, pp. 2379-2391, Dec. 2010.
5. C. C. Michael, G. McGraw, and M. Schatz, "Generating software test data by evolution," IEEE TSE, vol. 27, no. 12, pp. 1085-1110, 2001. (Pubitemid 34035564)
6. R. P. Pargas, M. J. Harrold, and R. Peck, "Test-data generation using genetic algorithms," Soft. Test., Ver. and Rel., vol. 9, no. 4, pp. 263-282, 1999. (Pubitemid 30546633)
7. J. Wegener, A. Baresel, and H. Sthamer, "Evolutionary test environment for automatic structural testing," Information & Software Technology, vol. 43, no. 14, pp. 841-854, 2001. (Pubitemid 33050964)
8. M. Harman, A. Mansouri, and Y. Zhang, "Search based software engineering: A comprehensive analysis and review of trends techniques and applications," Department of Computer Science, King's College London, Tech. Rep., April 2009.
9. N. Tracey, J. A. Clark, K. Mander, and J. A. McDermid, "An automated framework for structural test-data generation," in ASE, 1998, pp. 285-288.
10. A. Arcuri, "It does matter how you normalise the branch distance in search based software testing," in ICST, 2010, pp. 205-214.
11. P. Godefroid, N. Klarlund, and K. Sen, "DART: directed automated random testing," ACM SIGPLAN Notices, vol. 40, no. 6, pp. 213-223, Jun. 2005.
12. B. Beizer, Software Testing Techniques, 2nd edition. International Thomson Computer Press, 1990.
13. P. McMinn, "IGUANA: Input generation using automated novel algorithms. A plug and play research tool." Univ. Of Sheffield, Tech. Rep., 2007.
14. P. McMinn, M. Harman, Y. Hassoun, K. Lakhotia, and J. Wegener, "Input Domain Reduction through Irrelevant Variable Removal and its Effect on Local, Global and Hybrid Search-Based Structural Test Data Generation," IEEE TSE, To Appear (2011).
15. D. A. Wheeler, "More than a gigabuck: Estimating GNU/Linux's size,"http://www.dwheeler.com/sloc/, Jun. 2001.
16. J. H. Holland, "Genetic algorithms and the optimal allocation of trials,"SIAM J. of Computing, vol. 2, no. 2, pp. 88-105, Jun. 1973.
17. H. Pohlheim, "Evolutionary algorithms: Overview, methods and operators."documentation for: Genetic evolutionary algorithm toolbox for use with matlab version: toolbox 1.92 documentation 1.92," 1999.
18. D. Whitley, "The GENITOR algorithm and selection pressure: Why rank-based allocation of reproductive trials is best," Computer Science Dept., Colorado State University, Fort Collins, CO, Tech. Rep., 1989.
19. J. E. Baker, "Reducing bias and inefficiency in the selection algorithm,"in Genetic Algorithms and their Applications (ICGA'87), J. J. Grefenstette, Ed., 1987, pp. 14-21.
20. H. Mühlenbein and D. Schlierkamp-Voosen, "Predictive models for the breeder genetic algorithm, I: Continuous parameter optimization, "Evolutionary Computation, vol. 1, no. 1, pp. 25-49, 1993.
21. R Development Core Team, R: A Language and Environment for Statistical Computing, R Foundation for Statistical Computing, Vienna, Austria, 2011, ISBN 3-900051-07-0. [Online]. Available: http://www.R-project.org
22. M. Harman, K. Lakhotia, and P. McMinn, "A multi-objective approach to search-based test data generation," in GECCO, 2007, pp. 1098-1105.
23. K. Sen, D. Marinov, and G. Agha, "CUTE: a concolic unit testing engine for C," in ESEC/SIGSOFT FSE, 2005, pp. 263-272.
24. C. Cadar and D. R. Engler, "Execution generated test cases: How to make systems code crash itself," in Model Checking Software, 12th International SPIN Workshop, vol. 3639, 2005, pp. 2-23.
25. N. Tillmann and J. de Halleux, "Pex-white box test generation for.NET,"in TAP, 2008, pp. 134-153.
26. K. Inkumsah and T. Xie, "Evacon: A framework for integrating evolutionary and concolic testing for object-oriented programs," in ASE, November 2007, pp. 425-428.
27. P. Tonella, "Evolutionary testing of classes," in ISSTA, 2004, pp. 119-128.
28. K. Sen and G. Agha, "CUTE and jCUTE: Concolic unit testing and explicit path model-checking tools," in CAV, 2006, pp. 419-423.
29. K. Lakhotia, N. Tillman, M. Harman, and J. de Halleux, "FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution,"in ICTSS, 2010, pp. 142-157.
30. K. Lakhotia, M. Harman, and P. McMinn, "Handling dynamic data structures in search based testing." in GECCO, 2008, pp. 1759-1766.