Automata Learning for Register Automata
Speaker
Date and Time
Thursday, April 18th, 2013 at 10:30.
Location
Polacksbacken, room 1113
Abstract
Generating models that combine control and data flow aspects of system behavior is becoming increasingly important, for example in model-based testing, web service composition, and mediator synthesis. One suitable modeling formalism is register automata, which are finite automata extended with data. By applying techniques for black-box inference (automata learning) we can automatically generate register automata models.