Login / Signup
Ming Yu Yao
Publication Activity (10 Years)
Years Active: 1993-1996
Publications (10 Years): 0
</>
Publications
</>
Alexandre Petrenko
,
Gregor von Bochmann
,
Ming Yu Yao
On Fault Coverage of Tests for Finite State Specifications.
Comput. Networks ISDN Syst.
29 (1) (1996)
Ming Yu Yao
,
Alexandre Petrenko
,
Gregor von Bochmann
Fault Coverage Analysis in Respect to an FSM Specification.
INFOCOM
(1994)
Ming Yu Yao
,
Alexandre Petrenko
,
Gregor von Bochmann
A structural analysis approach to the evaluation of fault coverage for protocol conformance testing.
FORTE
(1994)
Cheng Wu
,
Gregor von Bochmann
,
Ming Yu Yao
Fairness of N-party Synchronization and Its Implementation in a Distributed Environment.
WDAG
(1993)
Ming Yu Yao
,
Gregor von Bochmann
Testing for a Conformance Relation Based on Acceptance.
TAPSOFT
(1993)
Ming Yu Yao
,
Alexandre Petrenko
,
Gregor von Bochmann
Conformance Testing of Protocol Machines without Reset.
PSTV
(1993)