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. 187:125-143, 2007.