Software unit test coverage and adequacy (1997)

by Hong Zhu , Patrick A. V. Hall , John H. R. May
Venue:ACM Computing Surveys
Citations:255 - 6 self

Documents Related by Co-Citation

382 Hints on Test Data Selection: Help for the Practicing Programmer – R A DeMillo, R J Lipton, F G Sayward - 1978
239 Constraint-Based Automatic Test Data Generation – Richard A. DeMillo, A. Jefferson Offutt - 1991
475 Symbolic execution and program testing – J C King - 1976
198 Automated software test data generation – B Korel - 1990
85 An Experiment in Specification-based Testing – Ian MacColl, David Carrington, Philip Stocks - 1995
278 Korat: Automated testing based on Java predicates – Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov - 2002
438 Software Testing Techniques – B Beizer - 1990
181 Toward a theory of test data selection – J B Goodenough, S L Gerhart - 1975
23 An integrated automatic test data generation system – A. Jefferson Offutt - 1991
71 On the automated generation of program test data – C Ramamoorthy, Ho SB, W Chen - 1976
1254 The model checker SPIN – Gerard J. Holzmann - 1997
191 A system to generate test data and symbolically execute programs – L Clarke - 1976
64 Automatic Generation of Program Specifications – Jeremy W. Nimmer, Michael D. Ernst - 2002
544 Dynamically discovering likely program invariants to support program evolution – Michael D. Ernst, Jake Cockrelit, William G. Griswoldt, David Notkint - 2001
41 Structural specification-based testing: Automated support and experimental evaluation – Juei Chang, Debra J Richardson - 1999
47 Generating test data with enhanced context-free grammars – Peter M. Maurer, Peter M. Maurer - 1990
44 Automated test data generation for programs with procedures – B Korel - 1996
72 Theories of program testing and the application of revealing subdomains – E Weyuker, T Ostrand - 1980
176 Generalized Symbolic Execution for Model Checking and Testing – Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser - 2003