Exploiting don't cares to enhance functional tests. - Mark W. Weiss; Sharad C. Seth; Shashank K. Mehta; Kent L. Einspahr (ITC, 2000)

Design Verification and Functional Testing of FiniteState Machines. - Mark W. Weiss; Sharad C. Seth; Shashank K. Mehta; Kent L. Einspahr (VLSI Design, 2001)