Software unit test coverage and adequacy (1997)

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

Documents Related by Co-Citation

659 Symbolic execution and program testing – J C King - 1976
488 Hints on test data selection: Help for the practicing programmer – R A DeMillo, R J Lipton, F G Sayward - 1978
1448 The model checker SPIN – Gerard J. Holzmann - 1997
670 Dynamically discovering likely program invariants to support program evolution – Michael D Ernst, Jake Cockrell, William G Griswold, David Notkin
532 Software Testing Techniques – B Beizer - 1990
293 Constraint-Based Automatic Test Data Generation – Richard A. DeMillo, A. Jefferson Offutt - 1991
782 The Art of Software Testing – G J Myers - 1979
1224 The Z notation: A reference manual – J M Spivey - 1992
775 DART: Directed automated random testing – Patrice Godefroid, Nils Klarlund, Koushik Sen - 2005