Department of Information Technology

Techniques for Automata learning and their connection to conformance testing

Speaker

Bengt Jonsson

Date and Time

Thursday, June 17th, 2010 at 10:30

Location

Polacksbaken, room 1146

Abstract

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.

Back to the seminar page

Updated  2010-06-14 09:09:11 by Frédéric Haziza.