Mutation Testing Publications

Search results for "BuddA82", found 1 papers, 1 pages

1Timothy Alan Budd and Dana Angluin
Two Notions of Correctness and Their Relation to Testing
Acta Informatica, 18(1), March 1982.
BibTeX | Abstract | URL

We consider two interpretations for what it means for test data to demonstrate correctness. For each interpretation, we examine under what conditions data sufficient to demonstrate correctness exists, and whether it can be automatically detected and/or generated. We establish the relation between these questions and the problem of deciding equivalence of two programs.

@ARTICLE{BuddA82, author = {Timothy Alan Budd and Dana Angluin}, title = {Two Notions of Correctness and Their Relation to Testing}, journal = {Acta Informatica}, year = {1982}, month = {March}, volume = {18}, number = {1}, pages = {31-45} }