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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.