@Inproceedings{EPTCS141.5, author = {Simao, Adenilso and Petrenko, Alexandre}, year = {2014}, title = {Generating Complete and Finite Test Suite for ioco: Is It Possible?}, editor = {Schlingloff, Holger and Petrenko, Alexander K.}, booktitle = {{\rm Proceedings Ninth Workshop on} Model-Based Testing, {\rm Grenoble, France, 6 April 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {141}, publisher = {Open Publishing Association}, pages = {56-70}, doi = {10.4204/EPTCS.141.5}, }