Test Suite Minimization for Embedded Nondeterministic Finite State Machines
Guaranteeing Full Fault Coverage for UIO-Based Methods
IC Technical Reports 1999
IC Technical Reports 1995
Ricardo O. Anido
Nina Yevtushenko