Test Adequacy and Program Mutation

  title={Test Adequacy and Program Mutation},
  author={Richard A. DeMillo},
It is sometimes helpful to view software development as a “root-finding” procedure, as shown in Figure 1. In this procedure, a designer submits an initial “guess”, which is iteratively tested for validity (or any other assurance criterion, such as correctness) until a correct solution is converged upon. In [l], this principle was called “meta-induction” and was used at the conceptual model for a (then) new approach to software testing, called mutation analysis. A central goal of mutation… CONTINUE READING
Highly Cited
This paper has 37 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 26 extracted citations

Similar Papers

Loading similar papers…