An experience in estimating fault coverage of a protocol test
Anton T. Dahbura, Krishan K. Sabnani · 2003
A description is given of an experience in estimating fault coverage of a test sequence designed to test the control portion of a protocol. The control portion of this protocol is modeled as a finite-state machine. This study uses Monte Carlo simulation and introduces a novel notion of machine equivalence. An algorithm given checks for this notion of machine equivalence.>