A technique to Eliminate the Ą-Part
F.Lombardi, D.Sciuto and Y.-N.Shen,
¡¥Evalution and Improvement of Fault Coverage for
Verification and Validation of Protocols,¡¨ Proc.2nd
IEEE Symp. On Parallel and Distributed Processing ,
A technique is proposed to replace the Ą-part with a very short checking sequence.
In theory the test sequence can detect multiple type-I faults and single type-II faults.
Experimentation shows that the test sequence achieve 100% fault coverage.