Test Suite Minimization for Embedded Nondeterministic Finite State Machines
IC Technical Reports 1999
Ana Cavalli
Ricardo O. Anido