Kai H. Chang Shih-Sung Liao Richard Chapman Chun-Yu Chen Test Scenario Generation Based on Formal Specification and Usage Profile. 185-201 2000 10 International Journal of Software Engineering and Knowledge Engineering 2 db/journals/ijseke/ijseke10.html#ChangLCC00