Alexandre Petrenko, Florent Avellaneda, Roland Groz, Catherine Oriat. From Passive to Active FSM Inference via Checking Sequence Construction. In Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün, editors, Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings. Volume 10533 of Lecture Notes in Computer Science, pages 126-141, Springer, 2017. [doi]
Abstract is missing.