@inproceedings{inproceedings59d66005,
title   = {Generating checking sequences for nondeterministic finite state machines},
author = {Petrenko, Alexandre and Simão, Adenilso da Silva and Nina Yevtushenko},
year = {2012},
doi = {10.1109/ICST.2012.111},
publisher = {IEEE Computer Society},
booktitle   = {International Conference on Software Testing, Verification and Validation - ICST 2012}
}