Acte de conférence, colloque et atelier

From Passive to Active FSM Inference via Checking Sequence Construction

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