LearnLib Tutorial: From Finite Automata to Register Interface Programs

Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen: LearnLib Tutorial: From Finite Automata to Register Interface Programs. In: ISoLA 2012, LNCS 7609, pp. 587-590. Springer, 2012


In the past decade, active automata learning, an originally merely theoretical enterprise, got attention as a method for dealing with black-box or third party systems. Applications ranged from the support of formal verification, e.g. for assume guarantee reasoning [4], to usage of learned models as the basis for regression testing. In the meantime, a number of approaches exploiting active learning for validation [17,20,6,7,2,1] emerged.

Download PDF


There are no comments yet. Be the first one to leave a comment!

Got something to say?

Your email address will not be published.