An Empirical Study of Intelligent Test Case Generation Methods for Software Branch Coverage. - Kai H. Chang; James H. Cross II; W. Homer Carlisle; Shih-Sung Liao (SEKE, 1993)

An Integrated Testing Framework for Object-Oriented Programs-Work in Progress. - Shih-Sung Liao; Kai H. Chang; Stephen B. Seidman (SEKE, 1995)

Testing Object-Oriented Programs Based on Usage Profiles and Formal Specifications. - Shih-Sung Liao; Kai H. Chang; Stephen B. Seidman; Chun-Yu Chen (SEKE, 1996)

A Performance Evaluation of Heuristics-Based Test Case Generation Methods for Software Branch Coverage. - Kai H. Chang; James H. Cross II; W. Homer Carlisle; Shih-Sung Liao (Int. J. Softw. Eng. Knowl. Eng., 1996)

An Integrated Testing Framework for Object-Oriented Programs. - Shih-Sung Liao; Kai H. Chang; Chun-Yu Chen (Informatica (Slovenia), 1997)

Testing object-oriented programs: from formal specification to test scenario generation. - Kai H. Chang; Shih-Sung Liao; Stephen B. Seidman; Richard Chapman 001 (J. Syst. Softw., 1998)

Test Scenario Generation Based on Formal Specification and Usage Profile. - Kai H. Chang; Shih-Sung Liao; Richard Chapman 001; Chun-Yu Chen (Int. J. Softw. Eng. Knowl. Eng., 2000)