Alexandre Petrenko, Adenilso da Silva Simão, Nina Yevtushenko. Generating Checking Sequences for Nondeterministic Finite State Machines. In Giuliano Antoniol, Antonia Bertolino, Yvan Labiche, editors, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, Montreal, QC, Canada, April 17-21, 2012. pages 310-319, IEEE, 2012. [doi]
Abstract is missing.