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

Abstract

A framework for studying the program mutation testing method from both theoretical and empirical viewpoints is presented. (Author)