1996 |
6 | EE | Alexandre Petrenko,
Gregor von Bochmann,
Ming Yu Yao:
On Fault Coverage of Tests for Finite State Specifications.
Computer Networks and ISDN Systems 29(1): 81-106 (1996) |
1994 |
5 | | Ming Yu Yao,
Alexandre Petrenko,
Gregor von Bochmann:
A structural analysis approach to the evaluation of fault coverage for protocol conformance testing.
FORTE 1994: 399-414 |
4 | | Ming Yu Yao,
Alexandre Petrenko,
Gregor von Bochmann:
Fault Coverage Analysis in Respect to an FSM Specification.
INFOCOM 1994: 768-775 |
1993 |
3 | | Ming Yu Yao,
Alexandre Petrenko,
Gregor von Bochmann:
Conformance Testing of Protocol Machines without Reset.
PSTV 1993: 241-256 |
2 | | Ming Yu Yao,
Gregor von Bochmann:
Testing for a Conformance Relation Based on Acceptance.
TAPSOFT 1993: 519-528 |
1 | | Cheng Wu,
Gregor von Bochmann,
Ming Yu Yao:
Fairness of N-party Synchronization and Its Implementation in a Distributed Environment.
WDAG 1993: 279-293 |