On Fault Coverage of Tests for Finite State Specifications [PDF]
A. Petrenko and G. v. Bochmann
Testing is a trade-off between increased confidence in the correctness of the implementation under test and constraints on the amount of time and effort that can be spent in testing. This paper analyzes basic ideas underlying the techniques for fault coverage analysis and assurance mainly developed in the context of protocol conformance testing based on finite state models. Special attention is paid to parameters which determine the testability of a given specification and influence the length of a test suite which guarantees complete fault coverage.

See: citeseer.nj.nec.com/cache/pa...fault.pdf