Acte de conférence, colloque et atelier

Generating Complete and Finite Test Suite for ioco: Is It Possible?

Simao, A. and Petrenko, A. "Generating Complete and Finite Test Suite for ioco: Is It Possible?" in Proceedings of 9th Workshop on Model-Based Testing (MBT 2014), Electronic Proceedings in Theoretical Computer Science (EPTCS) 141, pp. 56-70. Grenoble, France, le 6 avril 2014