R. Alur and C. Courcoubetis, Yannakakis, M: Distinguishing tests for nondeterministic and probabilistic machines, Proc. of the twenty-seventh annual ACM symposium on Theory of computing, pp.363-372, 1995.

G. V. Bochmann and . Petrenko, Protocol testing, Proceedings of the 1994 international symposium on Software testing and analysis , ISSTA '94, pp.109-123, 1994.
DOI : 10.1145/186258.187153

T. S. Chow, Testing software design modelled by finite state machines, IEEE Trans. Software Eng, vol.4, issue.3, pp.178-187, 1978.

R. Dorofeeva, K. El-fakih, S. Maag, and A. Cavalli, 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

K. El-fakih, N. Yevtushenko, and N. Kushik, On the reachability of the exponential upper bound of adaptive experiments for nondeterministic finite state machines, 2016.

A. Ermakov, Deriving checking sequences for nondeterministic FSMs, Proc. of the Institute for System Programming of RAS, pp.111-124, 2014.
DOI : 10.15514/ISPRAS-2014-26(6)-10

G. Gonenc, A Method for the Design of Fault Detection Experiments, IEEE Transactions on Computers, vol.19, issue.6, pp.551-558, 1970.
DOI : 10.1109/T-C.1970.222975

C. Güniçen, G. V. Jourdan, and H. Yenigün, Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation, Lecture Notes in Computer Science, vol.9447, pp.19-34, 2015.
DOI : 10.1007/978-3-319-25945-1_2

C. Güniçen, K. Inan, U. C. Türker, and . Yenigün, The relation between preset distinguishing sequences and synchronizing sequences, Formal Aspects of Computing, vol.1, issue.3, pp.1153-167, 2014.
DOI : 10.1007/BF01068590

F. Hennie, C: Fault-Detecting experiments for sequential circuits, Proc. of the Fifth Ann. Symp. Switching Circuit Theory and Logical Design, pp.95-110, 1964.

R. M. Hierons and H. Ural, Reduced length checking sequences, IEEE Transactions on Computers, vol.37, issue.9, pp.1111-1117, 2002.
DOI : 10.1109/TC.2002.1032630

URL : http://people.brunel.ac.uk/~csstrmh/papers/tc02-pre.pdf

R. M. Hierons and H. Ural, Optimizing the length of checking sequences, IEEE Transactions on Computers, vol.55, issue.5, pp.618-629, 2006.
DOI : 10.1109/TC.2006.80

Z. Kohavi, Switching and Finite Automata Theory, 1978.
DOI : 10.1017/CBO9780511816239

A. Petrenko and A. Simão, Yevtushenko, N: Generating checking sequences for nondeterministic finite state machines, Proc. of the Intern. Conf. on Software Testing, pp.310-319, 2012.
DOI : 10.1109/icst.2012.111

N. Kushik, Methods for deriving homing and distinguishing experiments for nondeterministic FSMs, p.2013
DOI : 10.1007/978-3-642-41707-8_3

N. Yevtushenko and N. Kushik, Decreasing the length of adaptive distinguishing experiments for nondeterministic merging-free finite state machines, 2015 IEEE East-West Design & Test Symposium (EWDTS), pp.338-341, 2015.
DOI : 10.1109/EWDTS.2015.7493120

N. Kushik, K. El-fakih, and N. Yevtushenko, Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines, Lecture Notes in Computer Science, vol.34, issue.6, pp.33-48, 2013.
DOI : 10.1007/978-0-387-35062-2_10

N. Yevtushenko, N. Kushik, K. El-fakih, and A. R. Cavalli, On adaptive experiments for nondeterministic finite state machines, International Journal of Software Tools for Technology Transfer, vol.18, issue.3, pp.251-264, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01354241

N. Kushik, N. Yevtushenko, and . H. Yenigun, Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs, Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn, pp.83-90, 2016.
DOI : 10.5220/0005854500830090

URL : https://hal.archives-ouvertes.fr/hal-01332386

D. Lee and M. Yannakakis, Principles and methods of testing finite state machines-a survey, Proceedings of the IEEE, vol.84, issue.8, pp.1090-1123, 1996.
DOI : 10.1109/5.533956

A. Petrenko and A. Simão, Generalizing the DS-Methods for Testing Non-Deterministic FSMs, The Computer Journal, vol.58, issue.7, pp.1656-1672, 2015.
DOI : 10.1093/comjnl/bxu113

A. Petrenko and N. Yevtushenko, Conformance Tests as Checking Experiments for Partial Nondeterministic FSM, Lecture Notes in Computer Science, vol.6, issue.1, pp.118-133, 2005.
DOI : 10.1109/TSE.2003.1166585

A. Petrenko and N. Yevtushenko, Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs, Lecture Notes in Computer Science, vol.7019, pp.162-178, 2011.
DOI : 10.1007/978-3-642-24580-0_12

URL : https://hal.archives-ouvertes.fr/hal-01583921

A. Simao, A. Petrenko, and J. C. Maldonado, Comparing finite state machine test coverage criteria, IET Software, vol.3, issue.2, pp.91-105, 2009.
DOI : 10.1049/iet-sen.2008.0018

N. Spitsyna, K. El-fakih, and N. Yevtushenko, Studying the separability relation between finite state machines. Software Testing, Verification and Reliability, pp.227-241, 2007.

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