E. Brinksma, R. Alderden, R. Langerak, J. Van-de-lagemaat, and J. Tretmans, A formal approach to conformance testing, Second International Workshop on Protocol Test Systems, pp.349-363, 1990.

M. Broy, B. Jonsson, J. P. Katoen, M. Leucker, and A. Pretschner, Model-Based Testing of Reactive Systems, Advanced Lectures, Lecture Notes in Computer Science, vol.3472, 2005.

J. Edmonds and E. L. Johnson, Matching, Euler tours and the Chinese postman, Mathematical Programming, vol.1, issue.Suppl. 1, pp.88-124, 1973.
DOI : 10.1007/BF01580113

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

K. Mei-ko, Graphic programming using odd or even points, Chinese Mathematics, vol.1, pp.273-277, 1962.

S. Naito and M. Tsunoyama, Fault detection for sequential machines by transitions tours, Proceedings of the IEEE Fault Tolerant Computer Symposium, pp.238-243, 1981.

J. M. Roussel and J. J. Lesage, Validation and verification of grafcet using state machine, Proceedings of IMACS-IEEE " CESA'96, pp.758-764, 1996.

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