Petrenko, A.,
Avellaneda, F., Groz, R. et Oriat, C. "From Passive to Active FSM Inference via Checking Sequence Construction" dans
Proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS 2017), pp. 126-141 Volume 10533 part of the Lecture Notes in Computer Science book series. St. Petersburg, Russia, du 9 au 11 octobre 2017