LearnLib: A Library for Automata Learning and Experimentation

In this tool demonstration we present the LearnLib, a library for automata learning and experimentation. Its modular structure allows users to configure their tailored learning scenarios, which exploit specific properties of the 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. The demonstration of the LearnLib will include the extrapolation of a behavioral model for a realistic (legacy) system, and the statistical analysis of different variants of automata learning algorithms on the basis of random generated models.

[1]  Yuriy Brun,et al.  Finding latent code errors via machine learning over program executions , 2004, Proceedings. 26th International Conference on Software Engineering.

[2]  Hardi Hungar,et al.  Domain-Specific Optimization in Automata Learning , 2003, CAV.

[3]  Dana Angluin,et al.  Learning Regular Sets from Queries and Counterexamples , 1987, Inf. Comput..

[4]  Tiziana Margaria,et al.  Analyzing second-order effects between optimizations for system-level test-based model generation , 2005, IEEE International Conference on Test, 2005..

[5]  Hardi Hungar,et al.  Behavior-Based Model Construction , 2003, VMCAI.

[6]  Hardi Hungar,et al.  Model Generation by Moderated Regular Extrapolation , 2002, FASE.

[7]  Alexander L. Wolf,et al.  Discovering models of software processes from event-based data , 1998, TSEM.

[8]  Tiziana Margaria,et al.  Efficient test-based model generation for legacy reactive systems , 2004, Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940).

[9]  Harald Raffelt,et al.  LearnLib: a library for automata learning and experimentation , 2005, FMICS '05.

[10]  Mihalis Yannakakis,et al.  Black Box Checking , 1999 .

[11]  Michael D. Ernst,et al.  Automatic generation of program specifications , 2002, ISSTA '02.