Timothy A. Budd, Richard A. DeMillo, Richard J. Lipton, Frederick G. Sayward. Theoretical and Emperical Studies on Using Program Mutation to Test the Functional Correctness of Programs. In POPL. pages 220-233, 1980.
@inproceedings{BuddDLS80,
title = {Theoretical and Emperical Studies on Using Program Mutation to Test the Functional Correctness of Programs},
author = {Timothy A. Budd and Richard A. DeMillo and Richard J. Lipton and Frederick G. Sayward},
year = {1980},
tags = {functional programming, testing},
researchr = {https://researchr.org/publication/BuddDLS80},
cites = {0},
citedby = {0},
pages = {220-233},
booktitle = {POPL},
}