Axiomatic Test Sequence Generation for Extended Finite State Machines. - Chang-Jia Wang; Ming T. Liu (ICDCS, 1992)

A Test Suite Generation Method for Extended Finite State Machines Using Axiomatic Semantics Approach. - Chang-Jia Wang; Ming T. Liu (PSTV, 1992)

Intelligent Job Selection for Distributed Scheduling. - Chang-Jia Wang; Phillip Krueger; Ming T. Liu (ICDCS, 1993)

Automatic test case generation for Estelle. - Chang-Jia Wang; Ming T. Liu (ICNP, 1993)

Generating Test Cases for EFSM with Given Fault Models. - Chang-Jia Wang; Ming T. Liu (INFOCOM, 1993)

A Multimedia Synchronization Protocol for ATM Networks. - Chang-Jia Wang; Liang-Seng Koh; Chao-Hui Wu; Ming T. Liu (ICDCS, 1994)