Abstract : Once they have high-level models of the behavior of software components, engineers can construct better software in less time. A key problem in practice, however, is the construction of models for existing software components, for which no or only limited documentation is available. In this talk, I will present an overview of recent work by my group — done in close collaboration with the Universities of Dortmund and Uppsala — in which we use machine learning to infer state diagram models of embedded controllers and network protocols fully automatically through observation and test, that is, through black box reverse engineering.
https://hal.inria.fr/hal-01482424 Contributor : Hal IfipConnect in order to contact the contributor Submitted on : Friday, March 3, 2017 - 3:21:41 PM Last modification on : Friday, March 3, 2017 - 3:25:06 PM Long-term archiving on: : Tuesday, June 6, 2017 - 1:06:18 PM
Frits Vaandrager. Active Learning of Extended Finite State Machines. 24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.5-7, ⟨10.1007/978-3-642-34691-0_2⟩. ⟨hal-01482424⟩