Inferring Canonical Register Automata
2012 (English)In: Verification, Model Checking, and Abstract Interpretation - 13th International Conference, / [ed] Viktor Kuncak and Andrey Rybalchenko, Springer, 2012, 251-266 p.Conference paper (Refereed)
In this paper, we present an extension of active automata learning to register automata, an automaton model which is capable of expressing the influence of data on control flow. Register automata operate on an infinite data domain, whose values can be assigned to registers and compared for equality. Our active learning algorithm is unique in that it directly infers the effect of data values on control flow as part of the learning process. This effect is expressed by means of registers and guarded transitions in the resulting register automata models. The application of our algorithm to a small example indicates the impact of learning register automata models: Not only are the inferred models much more expressive than finite state machines, but the prototype implementation also drastically outperforms the classic L* algorithm, even when exploiting optimal data abstraction and symmetry reduction.
Place, publisher, year, edition, pages
Springer, 2012. 251-266 p.
, Lecture Notes in Computer Science, ISSN 0302-9743 ; 7148
Research subject Computer Science
IdentifiersURN: urn:nbn:se:uu:diva-189969DOI: 10.1007/978-3-642-27940-9ISBN: 978-3-642-27939-3OAI: oai:DiVA.org:uu-189969DiVA: diva2:582621
VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012.