On fault coverage of tests for finite state specifications. (1996)

by A Petrenko, v G Bochmann
Venue:Protocol Testing of Computer Networks and ISDN Systems.