Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

1 Array
Image document

From Passive to Active FSM Inference via Checking Sequence Construction

Alexandre Petrenko , Florent Avellaneda , Roland Groz , Catherine Oriat
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.126-141, ⟨10.1007/978-3-319-67549-7_8⟩
Conference papers hal-01678991v1