Chang-Jia Wang

Publication Activity (10 Years)

Years Active: 1992-1994
Publications (10 Years): 0

Publications

Chang-Jia Wang, Liang-Seng Koh, Chao-Hui Wu, Ming T. Liu
A Multimedia Synchronization Protocol for ATM Networks. ICDCS (1994)
Chang-Jia Wang, Ming T. Liu
Automatic test case generation for Estelle. ICNP (1993)
Chang-Jia Wang, Phillip Krueger, Ming T. Liu
Intelligent Job Selection for Distributed Scheduling. ICDCS (1993)
Chang-Jia Wang, Ming T. Liu
Generating Test Cases for EFSM with Given Fault Models. INFOCOM (1993)
Chang-Jia Wang, Ming T. Liu
Axiomatic Test Sequence Generation for Extended Finite State Machines. ICDCS (1992)
Chang-Jia Wang, Ming T. Liu
A Test Suite Generation Method for Extended Finite State Machines Using Axiomatic Semantics Approach. PSTV (1992)