N. Bene?, P. Law-daca, T. A. Henzinger, and . K?etínsk, K?etínsk`y, and Dejan Ni?kovi´Ni?kovi´c Complete composition operators for ioco-testing theory, Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, pp.101-110, 2015.

F. Bonchi and D. Pous, Hacking nondeterminism with induction and coinduction, Communications of the ACM, vol.58, issue.2, pp.87-95, 2015.
DOI : 10.1145/2422.322411
URL : https://hal.archives-ouvertes.fr/hal-01284907

R. Dorofeeva, K. El-fakih, S. Maag, A. R. Cavalli, and N. Yevtushenko, FSM-based conformance testing methods: A survey annotated with experimental evaluation, Information and Software Technology, vol.52, issue.12, pp.1286-1297, 2010.
DOI : 10.1016/j.infsof.2010.07.001
URL : https://hal.archives-ouvertes.fr/hal-00593960

R. M. Hierons, Testing from a nondeterministic finite state machine using adaptive state counting, IEEE Transactions on Computers, vol.53, issue.10, pp.1330-1342, 2004.
DOI : 10.1109/TC.2004.85
URL : http://www.brunel.ac.uk/~csstrmh/papers/tc04.pdf

D. Lee and M. Yannakakis, Testing finite-state machines: state identification and verification, IEEE Transactions on Computers, vol.43, issue.3, pp.306-320, 1994.
DOI : 10.1109/12.272431

G. Luo, G. Von-bochmann, and A. Petrenko, Test selection based on communicating nondeterministic finite-state machines using a generalized Wpmethod, IEEE Transactions on Software Engineering, vol.20, issue.2, pp.149-162, 1994.

N. Noroozi, Improving input-output conformance testing theories, 2014.

S. Costa, P. , and A. Simao, Generation of complete test suites from mealy input/output transition systems, Formal Aspects of Computing, vol.28, issue.1, pp.65-78, 2016.

A. Petrenko and N. Yevtushenko, Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs, IFIP International Conference on Testing Software and Systems, pp.162-178, 2011.
DOI : 10.1007/978-3-642-24580-0_12
URL : https://hal.archives-ouvertes.fr/hal-01583921

A. Simao and A. Petrenko, Generating Complete and Finite Test Suite for ioco: Is It Possible?, Proceedings Ninth Workshop on Model-Based Testing, pp.56-70, 2014.
DOI : 10.1007/BF01068590
URL : http://arxiv.org/pdf/1403.7261

J. Tretmans, Model Based Testing with Labelled Transition Systems, Formal methods and testing, pp.1-38, 2008.
DOI : 10.1007/978-3-540-78917-8_1
URL : http://repository.ubn.ru.nl/bitstream/2066/35653/1/35653.pdf

M. Volpato and J. Tretmans, Towards quality of model-based testing in the ioco framework, Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation, JAMAICA 2013, pp.41-46, 2013.
DOI : 10.1145/2489280.2489293

A. C. Tim and . Willemse, Heuristics for ioco-based test-based modelling, International Workshop on Formal Methods for Industrial Critical Systems, pp.132-147, 2006.