Mutation Testing in the Refinement Calculus

B. K. Aichernig

Abstract:

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