Fault Coverage Analysis in Respect to an FSM Specification.

Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann

Browse the full INFOCOM paper archive.