Test Case Generation by Contract Mutation in Spec#

W. Krenn and B. K. Aichernig

Abstract:

Reference: W. Krenn and B. K. Aichernig. Test case generation by contract mutation in spec#. Electron. Notes Theor. Comput. Sci., 253(2):71-86, 2009.