Mutation Testing in the Refinement Calculus

B. K. Aichernig

Abstract:

Reference: B. K. Aichernig. Mutation Testing in the Refinement Calculus. Formal Aspects of Computing Journal, 15(2):280-295, 2003.