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

R. M. Hierons, Testing from a Non-Deterministic Finite State Machine Using Adaptive State Counting, IEEE Transactions on Computers, issue.10, pp.53-1330, 2004.
DOI : 10.1109/tc.2004.85
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.4796

M. L. Gromov, N. V. Evtushenko, and A. V. Kolomeets, On the synthesis of adaptive tests for nondeterministic finite state machines, Programming and Computer Software, vol.34, issue.6, pp.34-322, 2008.
DOI : 10.1134/S0361768808060030

G. L. Luo, G. V. Bochmann, and A. Petrenko, Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized Wp-method, IEEE Transactions on Software Engineering, vol.20, issue.2, pp.149-161, 1994.

L. Nachmanson, M. Veanes, W. Schulte, N. Tillmann, and W. Grieskamp, Optimal Strategies for Testing Nondeterministic Systems, Software Eng. Notes, ACM, pp.29-55, 2004.
DOI : 10.1145/1007512.1007520
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.138.3414

A. Petrenko and N. Yevtushenko, Conformance Tests as Checking Experiments for Partial Nondeterministic FSM, Proceedings of the 5th International Workshop on Formal Approaches to Testing of Software (FATES 2005), pp.118-133, 2005.
DOI : 10.1109/TSE.2003.1166585

A. Petrenko and N. Yevtushenko, Refining Specifications in Adaptive Testing of Nondeterministic Finite State Machines, Vestnik Tomskogo gos. universiteta, pp.99-114, 2009.

A. Petrenko, N. Yevtushenko, and G. V. Bochmann, Testing Deterministic Implementations from their Nondeterministic Specifications, Proceedings of the IFIP Ninth International Workshop on Testing of Communicating Systems, pp.125-140, 1996.
DOI : 10.1007/978-0-387-35062-2_10
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.4520

A. Petrenko and N. Yevtushenko, Testing from Partial Deterministic FSM Specifications, IEEE Transactions on Computers, vol.54, issue.9, pp.1154-1165, 2005.
DOI : 10.1109/TC.2005.152

A. Simao, A. Petrenko, and N. Yevtushenko, Generating Reduced Tests for FSMs with Extra States, Proceedings of TestCom/Fates, pp.129-145, 2009.
DOI : 10.1109/TC.2006.80

F. Zhang and T. Cheung, Optimal transfer trees and distinguishing trees for testing observable nondeterministic finite-state machines, IEEE Transactions on Software Engineering, vol.29, issue.1, pp.1-14, 2003.
DOI : 10.1109/TSE.2003.1166585