Contract-based Mutation Testing in the Refinement Calculus

B. K. Aichernig

Abstract:

Reference: B. K. Aichernig. Contract-based mutation testing in the refinement calculus. In REFINE'02, the British Computer Society - Formal Aspects of Computing refinement workshop, Copenhagen, Denmark, July 20-21, 2002, affiliated with FME 2002, volume 70 No. 3 of Electronic Notes in Theoretical Computer Science. Elsevier, 2002.