Active Learning of Extended Finite State Machines - Testing Software and Systems Access content directly
Conference Papers Year : 2012

Active Learning of Extended Finite State Machines


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.
Fichier principal
Vignette du fichier
978-3-642-34691-0_2_Chapter.pdf (110.68 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01482424 , version 1 (03-03-2017)





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⟩
84 View
109 Download



Gmail Facebook X LinkedIn More