Test scenario and regression test suite generation from Object-Z formal specification for object-oriented program testing

Chun-Yu Chen, Richard Chapman, Kai H. Chang. Test scenario and regression test suite generation from Object-Z formal specification for object-oriented program testing. In ACM Southeast Regional Conference. 1999. [doi]

Abstract

Abstract is missing.