Refinement and Test Case Generation in UTP

Bernhard K. Aichernig, Jifeng He. Refinement and Test Case Generation in UTP. Electronic Notes in Theoretical Computer Science, 187:125-143, 2007. [doi]

Abstract

Abstract is missing.