Search-Based Software Test Data Generation: A Survey

Search-Based Software Test Data Generation: A Survey (2004)

Cached

Download Links

by Phil McMinn

Citations:

BibTeX

@MISC{McMinn04search-basedsoftware,
    author = {Phil McMinn},
    title = {Search-Based Software Test Data Generation: A Survey},
    year = {2004}
}

Bookmark

OpenURL

Abstract

Citations

8882	Computers and Intractability: A Guide to the Theory of NP-completeness - Garey, Johnson - 1979
6071	Genetic Algorithms - Goldberg - 1989
2801	Optimization by simulated annealing - Kirkpatrick, Gelatt, et al. - 1983
2289	Adaptation in Natural and Artificial Systems - Holland - 1975
1644	Equation of state calculation by fast computing machines - Metropolis, AN, et al. - 1953
1163	An introduction to genetic algorithms - Mitchell - 1997
1129	Program slicing - Weiser - 1981
1054	The Z notation : A reference manual - Spivey - 1992
982	Handbook of Genetic Algorithms - Davis, Mitchell - 1991
749	The program dependence graph and its use in optimization - F, Ottenstein, et al. - 1987
687	Evolutionary Algorithms in Theory and Practice: Evolution Strategies, Evolutionary Programming, Genetic Algorithms - Bäck - 1996
359	Symbolic execution and program testing - King - 1976
339	K.: A comparative analysis of selection schemes used in genetic algorithms. Foundations of Genetic Algorithms - Goldberg, Deb - 1991
277	The GENITOR algorithm and selection pressure: why rank-based allocation of reproductive trials is best - Whitley - 1989
242	Modern Heuristic Techniques for Combinatorial Problems - Reeves - 1993
204	Constraint-Based Automatic Test Data Generation - DeMillo, Offutt - 1991
192	A Genetic Algorithm Tutorial - Whitley - 1994
190	A survey of evolution strategies - Back, Schwefel - 1991
166	A system to generate test data and symbolically execute programs - Clarke - 1976
161	Automated software test data generation - Korel - 1990
136	Genetic algorithms: a survey - Srinivas, Patnaik - 1994
110	R.R.: Test Data Generation Using Genetic Algorithm - Pargas, —Perk - 1999
99	M.: Generating software test data by evolution - Michael, McGraw, et al.
97	Evolutionary test environment for automatic structural testing - Wegener, Baresel, et al.
89	Eyres, D.: Automatic structural testing using genetic algorithms - Jones, Sthamer - 1996
84	B.: The chaining approach for software test data generation - Ferguson, Korel - 1996
75	Evaluating Evolutionary Algorithms - Whitley, Mathias, et al. - 1996
73	Automated program flaw finding using simulated annealing - Tracey, Clark, et al. - 1998
66	A New Interpretation of Schema Notation that Overturns the Binary Encoding Constraint - Antonisse - 1989
64	W.T.: On the automated generation of program test data - Ramamoorthy, Ho, et al. - 1976
62	An automated framework for structural test-data generation - Tracey, Clark, et al. - 1989
61	SELECT - A formal system for testing and debugging programs by symbolic execution - Boyer, Elspas, et al. - 1975
40	Search-based software engineering - Harman, Jones
40	Software Engineering as a Search Problem - Dolado, J, et al.
40	Eyres. Testing real-time systems using genetic algorithms - Wegener, Sthamer, et al. - 1997
36	Fitness Function Design to Improve Evolutionary Structural Testing - Baresel, Sthamer, et al. - 2002
35	A free lunch proof for gray versus binary encodings - Whitley - 1999
34	Automatic generation of floating-point test data - Miller, Spooner - 1976
33	Automated test-data generation for exception conditions - TRACEY, CLARK, et al.
33	Verifying Timing Constraints of Real-Time Systems by Means of Evolutionary Testing - Wegener, Grochtmann - 1998
32	Testing the results of static worst-case execution-time analysis - Puschner, Nossal - 1998
31	A Search-Based Automated Test-Data Generation Framework for Safety Critical Software - Tracey - 2000
30	K.: The way forward for unifying dynamic testcase generation: The optimisation-based approach - Tracey, Clark, et al. - 1998
29	ADTEST: A test data generation suite for ada software systems - Gallagher, Narasimhan - 1997
27	An overview of evolutionary algorithms: Practical issues and common pitfalls - Whitley
27	The Dynamic Domain Reduction Procedure for Test Data Generation - Offutt, Jin, et al. - 1999
25	Application of genetic algorithms to software testing (Application des algorithmes génétiques au test des logiciels - Xanthakis, Ellis, et al. - 1992
25	Instrumenting Programs with Flag Variables for Test Data Search by Genetic Algorithms - Bottaci - 2002
23	The State Problem for Evolutionary Testing - McMinn, Holcombe - 2003
23	Assertion-oriented automated test data generation - Korel, Al-Yami - 1996