Two notions of correctness and their relation to testing

@article{Budd1982TwoNO,
  title={Two notions of correctness and their relation to testing},
  author={Timothy A. Budd and Dana Angluin},
  journal={Acta Informatica},
  year={1982},
  volume={18},
  pages={31-45}
}
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. 
Highly Influential
This paper has highly influenced 10 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 207 citations. REVIEW CITATIONS

2 Figures & Tables

Topics

Statistics

01020'83'86'90'94'98'02'06'10'14'18
Citations per Year

208 Citations

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

See our FAQ for additional information.