Theoretical and Emperical Studies on Using Program Mutation to Test the Functional Correctness of Programs.

Timothy A. Budd, Richard A. DeMillo, Richard J. Lipton, Frederick G. Sayward

Browse the full POPL paper archive.