Active Learning of Extended Finite State Machines

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.
Complete list of metadatas
Contributor : Hal Ifip <>
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


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



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⟩



Record views


Files downloads