LearnLib: a framework for extrapolating behavioral models

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.

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

[2]  Colin de la Higuera,et al.  A bibliographical study of grammatical inference , 2005, Pattern Recognit..

[3]  Tiziana Margaria,et al.  Remote integration and coordination of verification tools in jETI , 2005, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05).

[4]  T. Margaria,et al.  Test-based model generation for legacy systems , 2003, International Test Conference, 2003. Proceedings. ITC 2003..

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

[6]  Leonardo Mariani,et al.  A Technique for Verifying Component-Based Software , 2005, Electron. Notes Theor. Comput. Sci..

[7]  Hubert Garavel,et al.  OPEN/CÆSAR: An OPen Software Architecture for Verification, Simulation, and Testing , 1998, TACAS.

[8]  Krishan K. Sabnani,et al.  A Protocol Test Generation Procedure , 1988, Comput. Networks.

[9]  David Lee,et al.  Principles and methods of testing finite state machines-a survey , 1996, Proc. IEEE.

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

[11]  T. Margaria,et al.  Efficient Regression Testing of CTI-Systems : Testing a complex Call-Center Solution , 2001 .

[12]  Manfred Broy,et al.  Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004] , 2005, Model-Based Testing of Reactive Systems.

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

[14]  Pavol Cerný,et al.  Synthesis of interface specifications for Java classes , 2005, POPL '05.

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

[16]  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).

[17]  Tiziana Margaria,et al.  jETI: A Tool for Remote Tool Integration , 2005, TACAS.

[18]  Fabrizio Lombardi,et al.  Protocol conformance testing using multiple UIO sequences , 1989, IEEE Trans. Commun..

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

[20]  Tomás Vojnar,et al.  Regular Model Checking Using Inference of Regular Languages , 2004, INFINITY.

[21]  T. Kanade.  Model-Based Testing of Reactive Systems , 2005 .

[22]  Bernhard Steffen,et al.  Model-Checking: A Tutorial Introduction , 1999, SAS.

[23]  Audris Mockus,et al.  Does Code Decay? Assessing the Evidence from Change Management Data , 2001, IEEE Trans. Software Eng..

[24]  David Notkin,et al.  Mutually Enhancing Test Generation and Specification Inference , 2003, FATES.

[25]  Tiziana Margaria,et al.  Plug and Play with FMICS-jETI: Beyond Scripting and Coding , 2008, ERCIM News.

[26]  Ferhat Khendek,et al.  Test Selection Based on Finite State Models , 1991, IEEE Trans. Software Eng..

[27]  Tiziana Margaria,et al.  Dynamic testing via automata learning , 2007, International Journal on Software Tools for Technology Transfer.

[28]  William G. Griswold,et al.  Dynamically discovering likely program invariants to support program evolution , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

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

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

[31]  Alex Groce,et al.  Adaptive Model Checking , 2006, Log. J. IGPL.

[32]  Tiziana Margaria,et al.  Model-Driven Development with the jABC , 2006, Haifa Verification Conference.

[33]  Corina S. Pasareanu,et al.  Learning Assumptions for Compositional Verification , 2003, TACAS.

[34]  Tsun S. Chow,et al.  Testing Software Design Modeled by Finite-State Machines , 1978, IEEE Transactions on Software Engineering.

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

[36]  Tiziana Margaria,et al.  Library-Based Design and Consistency Checking of System-Level Industrial Test Cases , 2001, FASE.

[37]  Bengt Jonsson,et al.  On the Correspondence Between Conformance Testing and Regular Inference , 2005, FASE.

[38]  Tiziana Margaria,et al.  System level testing of virtual switch (re-)configuration over IP , 2002, Proceedings The Seventh IEEE European Test Workshop.

[39]  Tiziana Margaria,et al.  Completing and Adapting Models of Biological Processes , 2006, BICC.

[40]  William G. Griswold,et al.  Quickly detecting relevant program invariants , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.