Testing non-deterministic state machines with faultcoverage (1992)

by S Gujiwara, G V Bochman
Venue:Protocol Test Systems