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. Theoretical and Emperical Studies on Using Program Mutation to Test the Functional Correctness of Programs. In POPL. pages 220-233, 1980.

Abstract

Abstract is missing.