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

D. Lee, Yannakakis : Principles and methods of testing nite state machines -a survey, Proceedings of the IEEE, p.10901123, 1996.

J. Tretmans, Model Based Testing with Labelled Transition Systems, Lecture Notes in Computer Science, vol.4949, p.138, 2008.
DOI : 10.1007/978-3-540-78917-8_1

J. M. Roussel, Analyse De Grafcets Par Génération Logique De l'Automate Equivalent, Thèse de doctorat, 1994.

S. Naito, Tsunoyama : Fault detection for sequential machines by transitions tours, Proceedings of the IEEE Fault Tolerant Computer Symposium, p.238243, 1981.

K. Mei-ko, Graphic programming using odd or even points, Chinese Mathematics, vol.1, p.273277, 1962.

J. Edmonds and E. L. Johnson, Matching, Euler tours and the Chinese postman, Mathematical Programming, p.88124, 1973.
DOI : 10.1007/BF01580113