Program Testing by Specification Mutation

  title={Program Testing by Specification Mutation},
  author={Timothy A. Budd and Ajei S. Gopal},
  journal={Comput. Lang.},
-Both theoretical and empirical arguments suggest that specifications and implementations are equally important sources of information for generating test cases. Nevertheless, the majority of test generation procedures described in the literature deal only with the program source, ignoring specifications. In this paper we outline a procedure for measuring test case effectiveness using specifications given in predicate calculus form. This method is similar to the mutation analysis method of… CONTINUE READING
Highly Cited
This paper has 92 citations. REVIEW CITATIONS

4 Figures & Tables



Citations per Year

93 Citations

Semantic Scholar estimates that this publication has 93 citations based on the available data.

See our FAQ for additional information.