Refinement and test case generation in Unifying Theory of Programming

Jifeng He. Refinement and test case generation in Unifying Theory of Programming. In 24th IEEE International Conference on Software Maintenance (ICSM 2008), September 28 - October 4, 2008, Beijing, China. pages 6, IEEE, 2008. [doi]

Abstract

Abstract is missing.