André Takeshi Endo, Adenilso da Silva Simão. Experimental Comparison of Test Case Generation Methods for 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 549-558, IEEE, 2012. [doi]
Abstract is missing.