Martin Leucker et Alexander Pretschner, éditeurs. Model-Based Testing of Reactive Systems, Advanced Lectures, Lecture Notes in Computer Science, vol.3472, 2005. ,
Yannakakis : Principles and methods of testing nite state machines -a survey, Proceedings of the IEEE, p.10901123, 1996. ,
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
Analyse De Grafcets Par Génération Logique De l'Automate Equivalent, Thèse de doctorat, 1994. ,
Tsunoyama : Fault detection for sequential machines by transitions tours, Proceedings of the IEEE Fault Tolerant Computer Symposium, p.238243, 1981. ,
Graphic programming using odd or even points, Chinese Mathematics, vol.1, p.273277, 1962. ,
Matching, Euler tours and the Chinese postman, Mathematical Programming, p.88124, 1973. ,
DOI : 10.1007/BF01580113