The following publications are possibly variants of this publication:
- Testing object-oriented programs: from formal specification to test scenario generationKai H. Chang, Shih-Sung Liao, Stephen B. Seidman, Richard Chapman. jss, 42(2):141-151, 1998. [doi]
- Test scenario and regression test suite generation from Object-Z formal specification for object-oriented program testingChun-Yu Chen, Richard Chapman, Kai H. Chang. ACMse 1999: [doi]
- Test Scenario Generation Based on Formal Specification and Usage ProfileKai H. Chang, Shih-Sung Liao, Richard Chapman, Chun-Yu Chen. ijseke, 10(2):185-201, 2000.