Refinement and Test Case Generation in UTP

B. K. Aichernig and J. He

Abstract:

Reference: B. K. Aichernig and J. He. Refinement and test case generation in UTP. Electronic Notes in Theoretical Computer Science, 187:125-143, 2006.