Conformance Testing of Protocol Machines without Reset. - Ming Yu Yao; Alexandre Petrenko; Gregor von Bochmann (PSTV, 1993)

Testing for a Conformance Relation Based on Acceptance. - Ming Yu Yao; Gregor von Bochmann (TAPSOFT, 1993)

Fairness of N-party Synchronization and Its Implementation in a Distributed Environment. - Cheng Wu; Gregor von Bochmann; Ming Yu Yao (WDAG, 1993)

A structural analysis approach to the evaluation of fault coverage for protocol conformance testing. - Ming Yu Yao; Alexandre Petrenko; Gregor von Bochmann (FORTE, 1994)

Fault Coverage Analysis in Respect to an FSM Specification. - Ming Yu Yao; Alexandre Petrenko; Gregor von Bochmann (INFOCOM, 1994)

On Fault Coverage of Tests for Finite State Specifications. - Alexandre Petrenko; Gregor von Bochmann; Ming Yu Yao (Comput. Networks ISDN Syst., 1996)