Mutation Testing Publications
Search results for "BuddA82", found 1 papers, 1 pages
| 1 | Timothy Alan Budd and Dana Angluin Two Notions of Correctness and Their Relation to Testing Acta Informatica, 18(1), March 1982. |
| BibTeX | Abstract | URL | |
| Abstract: 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}
} |