R. Alur, M. Benedikt, K. Etessami, P. Godefroid, T. Reps et al., Analysis of recursive state machines, ACM Transactions on Programming Languages and Systems, vol.27, issue.4, pp.786-818, 2005.
DOI : 10.1145/1075382.1075387
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.872

R. Alur and P. Madhusudan, Visibly pushdown languages, Proceedings of the thirty-sixth annual ACM symposium on Theory of computing , STOC '04, pp.202-211, 2004.
DOI : 10.1145/1007352.1007390
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.116.3757

T. Berg, O. Grinchtein, B. Jonsson, M. Leucker, H. Raffelt et al., On the Correspondence Between Conformance Testing and Regular Inference, Proceedings of the International Conference on Fundamental Approaches to Software Engineering, pp.175-189, 2005.
DOI : 10.1007/978-3-540-31984-9_14
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.6738

A. Friedman and P. Menon, Fault Detection in Digital Circuits, 1971.

A. Groce, D. Peled, and M. Yannakakis, Adaptive Model Checking, Logic Journal of IGPL, vol.14, issue.5, pp.729-744, 2006.
DOI : 10.1093/jigpal/jzl007

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

V. Kumar, P. Madhusudan, and M. Viswanathan, Minimization, Learning, and Conformance Testing of Boolean Programs, Proceedings of the Internation Conference on Concurrency Theory, pp.203-217, 2006.
DOI : 10.1007/11817949_14

V. Kumar and M. Viswanathan, Conformance testing in the presence of multiple faults, Proceedings of the ACM-SIAM Symposium on Discrete Algorithms, pp.1136-1145, 2005.

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

R. Linn and M. ¨. Uyar, Conformance Testing methodologies and architechtures for OSI protocols, 1995.

E. F. Moore, Gedanken-Experiments on Sequential Machines, Automata Studies, Annals of Mathematics Studies, vol.34, pp.129-153, 1956.
DOI : 10.1515/9781400882618-006

D. Peled, M. Vardi, and M. Yannakakis, Black Box Checking, Journal of Automata, Languages, and Combinatorics, vol.7, issue.2, pp.225-246, 2002.
DOI : 10.1007/978-0-387-35578-8_13

J. Tretmans, A formal approach to conformance testing, Protocol Test Systems, volume C-19 of IFIP Transactions, pp.257-276, 1994.

M. Vasilevskii, Fault diagnosis of automata, Kibernetika, vol.4, pp.98-108, 1973.