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

Abstract

In testing for program correctness, the standard approaches [11,13,21,22,23,24,34] have centered on finding data D, a finite subset of all possible inputs to program P, such that