Test Scenario Generation Based on Formal Specification and Usage Profile

Kai H. Chang, Shih-Sung Liao, Richard Chapman, Chun-Yu Chen. Test Scenario Generation Based on Formal Specification and Usage Profile. International Journal of Software Engineering and Knowledge Engineering, 10(2):185-201, 2000.

Abstract

Abstract is missing.