Mutation Testing Repository

Name:	Dana Angluin
Affiliation:	Yale University
Email:
Webpage:	http://www.cs.yale.edu/people/faculty/angluin.html

1	Timothy Alan Budd and Dana Angluin Two Notions of Correctness and Their Relation to Testing Acta Informatica, 18(1), March 1982.
1	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} }