Year | DOI | Venue |
---|---|---|
1994 | 10.1109/INFCOM.1994.337662 | INFOCOM |
Keywords | Field | DocType |
conformance testing,failure analysis,finite state machines,protocols,reliability theory,FSM specification,communication protocols,conformance testing,fault coverage analysis,finite state machine,graphic representations,necessary conditions,state minimization,sufficient condition,test suite,test tree | Test suite,Stuck-at fault,Sequential logic,Tree (graph theory),Fault coverage,Fault detection and isolation,Computer science,Algorithm,Finite-state machine,Fault model | Conference |
ISSN | Citations | PageRank |
0743-166X | 6 | 0.65 |
References | Authors | |
12 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ming Yu Yao | 1 | 33 | 3.12 |
A. Petrenko | 2 | 565 | 31.37 |
Gregor von Bochmann | 3 | 2573 | 427.74 |