@inproceedings{inproceedingsc4d5aaa1,
title   = {Experimental comparison of test case generation methods for finite state machines},
author = {Endo, André Takeshi and Simão, Adenilso da Silva},
year = {2012},
doi = {10.1109/ICST.2012.140},
publisher = {IEEE Computer Society},
booktitle   = {International Conference on Software Testing, Verification and Validation - ICST 2012}
}