Hacène Fouchal. An optimal testing technique for finite state machines. In Proceedings of the 16th IEEE Symposium on Computers and Communications, ISCC 2011, Kerkyra, Corfu, Greece, June 28 - July 1, 2011. pages 111-116, IEEE, 2011. [doi]
Abstract is missing.