Advertisement

Abstract

The Next Generation LearnLib (NGLL) is a framework for model-based construction of dedicated learning solutions on the basis of extensible component libraries, which comprise various methods and tools to deal with realistic systems including test harnesses, reset mechanisms and abstraction/refinement techniques. Its construction style allows application experts to control, adapt, and evaluate complex learning processes with minimal programming expertise.

Keywords

Automaton Learning Equivalence Query State Machine Model Learning Solution Construction Style 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. 1.
    Zulu - Active learning from queries competition (2010), http://labh-curien.univ-st-etienne.fr/zulu/
  2. 2.
    Angluin, D.: Learning Regular Sets from Queries and Counterexamples. Information and Computation 2(75), 87–106 (1987)CrossRefzbMATHGoogle Scholar
  3. 3.
    Bollig, B., Katoen, J.-P., Kern, C., Leucker, M., Neider, D., Piegdon, D.R.: libalf: The automata learning framework. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol. 6174, pp. 360–364. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  4. 4.
    Howar, F., Steffen, B., Merten, M.: Automata Learning with Automated Alphabet Abstraction Refinement. In: Jhala, R., Schmidt, D. (eds.) VMCAI 2011. LNCS, vol. 6538, pp. 263–277. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  5. 5.
    Howar, F., Steffen, B., Merten, M.: From ZULU to RERS - Lessons learned in the ZULU challenge. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010. LNCS, vol. 6415, Springer, Heidelberg (2010)Google Scholar
  6. 6.
    Kearns, M.J., Vazirani, U.V.: An Introduction to Computational Learning Theory. MIT Press, Cambridge (1994)Google Scholar
  7. 7.
    Raffelt, H., Steffen, B., Berg, T., Margaria, T.: LearnLib: a framework for extrapolating behavioral models. Int. J. Softw. Tools Technol. Transf. 11(5), 393–407 (2009)CrossRefGoogle Scholar
  8. 8.
    Rivest, R.L., Schapire, R.E.: Inference of finite automata using homing sequences. Inf. Comput. 103(2), 299–347 (1993)CrossRefzbMATHGoogle Scholar
  9. 9.
    Steffen, B., Margaria, T., Nagel, R., Jörges, S., Kubczak, C.: Model-Driven Development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol. 4383, pp. 92–108. Springer, Heidelberg (2007)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Maik Merten
    • 1
  • Bernhard Steffen
    • 1
  • Falk Howar
    • 1
  • Tiziana Margaria
    • 2
  1. 1.Chair for Programming SystemsTechnical University DortmundDortmundGermany
  2. 2.Chair for Service and Software EngineeringUniversity PotsdamPotsdamGermany

Personalised recommendations