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

A. Gill, State-identification experiments in finite automata. Information and Control, pp.132-154, 1961.

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

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

E. F. Moore, Gedanken-Experiments on Sequential Machines, In Automata Studies (Annals of Mathematical Studies, issue.1, pp.129-153, 1956.
DOI : 10.1515/9781400882618-006

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.

N. Kushik and N. Yevtushenko, On the Length of Homing Sequences for Nondeterministic Finite State Machines, Proc. of CIAA'2013, pp.220-231, 2013.
DOI : 10.1007/978-3-642-39274-0_20

R. Alur, C. Courcoubetis, and M. Yannakakis, Distinguishing tests for nondeterministic and probabilistic machines, Proceedings of the twenty-seventh annual ACM symposium on Theory of computing , STOC '95, pp.363-372, 1995.
DOI : 10.1145/225058.225161
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.1355

N. Kushik, K. El-fakih, N. Yevtushenko, and A. R. Cavalli, On Adaptive Experiments for Nondeterministic Finite State Machines. Software Tools for Technology Transfer, DOI 10, 1007.
URL : https://hal.archives-ouvertes.fr/hal-01354241

U. C. Türker, T. Ünlüyurt, and H. Yenigün, Lookahead-Based Approaches for Minimizing Adaptive Distinguishing Sequences, Proc. of International Conference on Testing Software and Systems, pp.32-47, 2014.
DOI : 10.1007/978-3-662-44857-1_3

U. C. Türker and H. Yenigün, Hardness and inapproximability of minimizing adaptive distinguishing sequences. Formal Methods in System Design, pp.264-294, 2014.

A. Petrenko and N. Yevtushenko, Conformance Tests as Checking Experiments for Partial Nondeterministic FSM, Proc. of FATES'2005, pp.118-133, 2005.
DOI : 10.1109/TSE.2003.1166585

R. M. Hierons and U. C. Türker, Distinguishing Sequences for Partially Specified FSMs, Proc. of NASA Formal Methods, pp.62-76, 2014.
DOI : 10.1007/978-3-319-06200-6_5

M. N. Sokolovskii, Diagnostic experiments with automata, Cybernetics and Systems Analysis, vol.7, pp.988-994, 1971.

N. Kushik and N. Yevtushenko, Adaptive Homing is in P, Proc. of MBT'2015, pp.73-78, 2015.
DOI : 10.4204/EPTCS.180.5
URL : http://doi.org/10.4204/eptcs.180.5