HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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 metadata

https://hal.inria.fr/hal-01482424
Contributor : Hal Ifip Connect 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

File

978-3-642-34691-0_2_Chapter.pd...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

67

Files downloads

98