Department of Information Technology

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.

Updated  2013-04-15 10:08:11 by Frédéric Haziza.