Ming Yu Yao

According to our database, Ming Yu Yao authored at least 6 papers between 1993 and 1996.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1996

On Fault Coverage of Tests for Finite State Specifications.

Alexandre Petrenko, Gregor von Bochmann, Ming Yu Yao

Comput. Networks ISDN Syst., 1996

1994

Fault Coverage Analysis in Respect to an FSM Specification.

Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann

Proceedings of the Proceedings IEEE INFOCOM '94, 1994

A structural analysis approach to the evaluation of fault coverage for protocol conformance testing.

Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann

Proceedings of the Formal Description Techniques VII, 1994

1993

Fairness of N-party Synchronization and Its Implementation in a Distributed Environment.

Cheng Wu, Gregor von Bochmann, Ming Yu Yao

Proceedings of the Distributed Algorithms, 7th International Workshop, 1993

Testing for a Conformance Relation Based on Acceptance.

Ming Yu Yao, Gregor von Bochmann

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

Conformance Testing of Protocol Machines without Reset.

Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann

Proceedings of the Protocol Specification, 1993