@inproceedings{inproceedingsb8df5c39,
title   = {Generating complete and finite test suite for ioco: is it possible?},
author = {Simão, Adenilso da Silva and Petrenko, Alexandre},
year = {2014},
doi = {10.4204/EPTCS.141},
publisher = {Open Publishing Association},
booktitle   = {Workshop on Model-Based Testing}
}