Theoretical and empirical 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