A formal approach to conformance testing, Second International Workshop on Protocol Test Systems, pp.349-363, 1990. ,
Model-Based Testing of Reactive Systems, Advanced Lectures, Lecture Notes in Computer Science, vol.3472, 2005. ,
Matching, Euler tours and the Chinese postman, Mathematical Programming, vol.1, issue.Suppl. 1, pp.88-124, 1973. ,
DOI : 10.1007/BF01580113
Principles and methods of testing finite state machines-a survey, Proceedings of the IEEE, pp.1090-1123, 1996. ,
DOI : 10.1109/5.533956
Graphic programming using odd or even points, Chinese Mathematics, vol.1, pp.273-277, 1962. ,
Fault detection for sequential machines by transitions tours, Proceedings of the IEEE Fault Tolerant Computer Symposium, pp.238-243, 1981. ,
Validation and verification of grafcet using state machine, Proceedings of IMACS-IEEE " CESA'96, pp.758-764, 1996. ,
Model Based Testing with Labelled Transition Systems, Formal Methods and Testing, pp.1-38, 2008. ,
DOI : 10.1007/978-3-540-78917-8_1