LearnLib: a framework for extrapolating behavioral models - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles International Journal on Software Tools for Technology Transfer Year : 2009

LearnLib: a framework for extrapolating behavioral models

Abstract

In this paper, we present the LearnLib, a library of tools for automata learning, which is explicitly designed for the systematic experimental analysis of the profile of available learning algorithms and corresponding optimizations. Its modular structure allows users to configure their own tailored learning scenarios, which exploit specific properties of their envisioned applications. As has been shown earlier, exploiting application-specific structural features enables optimizations that may lead to performance gains of several orders of magnitude, a necessary precondition to make automata learning applicable to realistic scenarios.

Dates and versions

inria-00459959 , version 1 (25-02-2010)

Identifiers

Cite

Harald Raffelt, Bernhard Steffen, Therese Berg, Tiziana Margaria. LearnLib: a framework for extrapolating behavioral models. International Journal on Software Tools for Technology Transfer, 2009, 11 (5), pp.393-407. ⟨10.1007/s10009-009-0111-8⟩. ⟨inria-00459959⟩

Collections

CONNECT
117 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More