|
204
|
Constraint-Based Automatic Test Data Generation
– Richard A. DeMillo, A. Jefferson Offutt
- 1991
|
|
71
|
An Extended Overview of the Mothra Software Testing Environment
– R A DeMillo, D S Guindi, K N King, W M McCracken, A J Offutt
- 1988
|
|
96
|
Weak Mutation Testing and Completeness of Test Sets
– W E Howden
- 1982
|
|
43
|
Two Notions of Correctness and Their Relation to Testing
– T A Budd, D Angluin
- 1982
|
|
335
|
Hints on test data selection: Help for the practicing programmer
– R A DeMillo, R J Lipton, F Sayward
- 1978
|
|
88
|
A Fortran Language System for Mutation-based Software Testing
– K. N. King, A. Jefferson Offutt
- 1991
|
|
27
|
Theoretical Insights into Fault-Based Test
– L J Morell
- 1988
|
|
10
|
D.: Testing by means of inductive program learning
– F Bergadano, Gunetti
- 1996
|
|
91
|
Reliability of the path analysis testing strategy
– W E Howden
- 1976
|
|
257
|
Selecting software test data using data flow information
– Sandra Rapps, Elaine, J. Weyuker
- 1985
|
|
518
|
The Art of Software Testing
– G J Myers
- 1979
|
|
8
|
A recursion theoretic approach to program testing
– J C Cherniavsky, C H Smith
- 1987
|
|
793
|
Language identification in the limit
– E M Gold
- 1967
|
|
1515
|
A Theory of the Learnable
– L. G. Valiant
- 1984
|
|
73
|
Investigations of the Software Testing Coupling Effect
– A. Jefferson Offutt
|
|
35
|
Mutation Analysis
– A T Acree, T A Budd, R A Demillo, R J Lipton, F G Sayward
- 1979
|
|
13
|
Investigations of the software testing coupling e ect
– A J O utt
- 1992
|
|
6
|
The Status of Research on Program Mutation
– R J Lipton, F G Sayward
- 1978
|
|
16
|
The inference of regular LISP programs from examples
– A W Biermann
- 1978
|
