Techniques for Automata learning and their connection to conformance testing
- Date and Time
Thursday, June 17th, 2010 at 10:30
Polacksbaken, room 1146
We present some techniques for constructing models of components in reactive systems from observations of their external behavior, i.e., using a black-box approach to the generation of models. This can be done using techniques from automata learning (aka. regular inference).
We will present some existing approaches to automata learning, including the assumptions they make on the component that is being investigated. There are close connections between automata learning and the problem of conformance testing for finite automata, which will also be covered.
The presentation does not assume prior background in automata learning.