2000 |
7 | | 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) |
1998 |
6 | EE | Kai H. Chang,
Shih-Sung Liao,
Stephen B. Seidman,
Richard Chapman:
Testing object-oriented programs: from formal specification to test scenario generation.
Journal of Systems and Software 42(2): 141-151 (1998) |
1997 |
5 | | Shih-Sung Liao,
Kai H. Chang,
Chun-Yu Chen:
An Integrated Testing Framework for Object-Oriented Programs.
Informatica (Slovenia) 21(1): (1997) |
1996 |
4 | | Shih-Sung Liao,
Kai H. Chang,
Stephen B. Seidman,
Chun-Yu Chen:
Testing Object-Oriented Programs Based on Usage Profiles and Formal Specifications.
SEKE 1996: 9-16 |
3 | EE | Kai H. Chang,
James H. Cross II,
W. Homer Carlisle,
Shih-Sung Liao:
A Performance Evaluation of Heuristics-Based Test Case Generation Methods for Software Branch Coverage.
International Journal of Software Engineering and Knowledge Engineering 6(4): 585-608 (1996) |
1995 |
2 | | Shih-Sung Liao,
Kai H. Chang,
Stephan Seidman:
An Integrated Testing Framework for Object-Oriented Programs-Work in Progress.
SEKE 1995: 123-125 |
1993 |
1 | | Kai H. Chang,
James H. Cross II,
W. Homer Carlisle,
Shih-Sung Liao:
An Empirical Study of Intelligent Test Case Generation Methods for Software Branch Coverage.
SEKE 1993: 437-444 |