LearnLib Tutorial: From Finite Automata to Register Interface Programs

  • Falk Howar
  • Malte Isberner
  • Maik Merten
  • Bernhard Steffen
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7609)


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.


Finite Automaton Model Inference Party System Automaton Learning Test Driver 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Aarts, F., Schmaltz, J., Vaandrager, F.W.: Inference and Abstraction of the Biometric Passport. In: Margaria, Steffen [11], pp. 673–686Google Scholar
  2. 2.
    Bohlin, T., Jonsson, B.: Regular Inference for Communication Protocol Entities. Technical report, Department of Information Technology, Uppsala University, Schweden (2009)Google Scholar
  3. 3.
    Cassel, S., Howar, F., Jonsson, B., Merten, M., Steffen, B.: A Succinct Canonical Register Automaton Model. In: Bultan, T., Hsiung, P.-A. (eds.) ATVA 2011. LNCS, vol. 6996, pp. 366–380. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  4. 4.
    Cobleigh, J.M., Giannakopoulou, D., Păsăreanu, C.S.: Learning Assumptions for Compositional Verification. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol. 2619, pp. 331–346. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  5. 5.
    Combe, D., de la Higuera, C., Janodet, J.-C.: Zulu: An Interactive Learning Competition. In: Yli-Jyrä, A., Kornai, A., Sakarovitch, J., Watson, B. (eds.) FSMNLP 2009. LNCS, vol. 6062, pp. 139–146. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  6. 6.
    Hagerer, A., Hungar, H., Niese, O., Steffen, B.: Model Generation by Moderated Regular Extrapolation. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, p. 80. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  7. 7.
    Hagerer, A., Margaria, T., Niese, O., Steffen, B., Brune, G., Ide, H.-D.: Efficient Regression Testing of CTI-Systems: Testing a Complex Call-center Solution. Annual Review of Communication, Int.Engineering Consortium (IEC) 55, 1033–1040 (2001)Google Scholar
  8. 8.
    Howar, F., Steffen, B., Jonsson, B., Cassel, S.: Inferring Canonical Register Automata. In: Kuncak, V., Rybalchenko, A. (eds.) VMCAI 2012. LNCS, vol. 7148, pp. 251–266. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  9. 9.
    Howar, F., Steffen, B., Merten, M.: From ZULU to RERS – Lessons Learned in the ZULU Challenge. In: Margaria, Steffen [11], pp. 687–704Google Scholar
  10. 10.
    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
  11. 11.
    Margaria, T., Steffen, B. (eds.): ISoLA 2010, Part I. LNCS, vol. 6415. Springer, Heidelberg (2010)Google Scholar
  12. 12.
    Meinke, K., Walkinshaw, N.: Model-based Testing and Model Inference. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol. 7609, pp. 440–443. Springer, Heidelberg (2012)Google Scholar
  13. 13.
    Merten, M., Howar, F., Steffen, B., Cassel, S., Jonsson, B.: Demonstrating Learning of Register Automata. In: Flanagan, C., König, B. (eds.) TACAS 2012. LNCS, vol. 7214, pp. 466–471. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  14. 14.
    Merten, M., Isberner, M., Howar, F., Steffen, B., Margaria, T.: Automated Learning Setups in Automata Learning. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol. 7609, pp. 591–607. Springer, Heidelberg (2012)Google Scholar
  15. 15.
    Merten, M., Steffen, B., Howar, F., Margaria, T.: Next Generation LearnLib. In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS 2011. LNCS, vol. 6605, pp. 220–223. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  16. 16.
    Pasareanu, C., Bobaru, M.: Learning Techniques for Software Verification and Validation. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol. 7609, pp. 505–507. Springer, Heidelberg (2012)Google Scholar
  17. 17.
    Peled, D., Vardi, M.Y., Yannakakis, M.: Black Box Checking. Journal of Automata, Languages and Combinatorics 7(2), 225–246 (2002)MathSciNetzbMATHGoogle Scholar
  18. 18.
    Raffelt, H., Steffen, B.: LearnLib: A Library for Automata Learning and Experimentation. In: Baresi, L., Heckel, R. (eds.) FASE 2006. LNCS, vol. 3922, pp. 377–380. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  19. 19.
    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
  20. 20.
    Shahbaz, M., Li, K., Groz, R.: Learning Parameterized State Machine Model for Integration Testing. In: Proc. 31st Annual Int. Computer Software and Applications Conf., vol. 2, pp. 755–760. IEEE Computer Society, Washington, DC (2007)Google Scholar
  21. 21.
    Steffen, B., Howar, F., Merten, M.: Introduction to Active Automata Learning from a Practical Perspective. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol. 6659, pp. 256–296. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  22. 22.
    Steffen, B., Howar, F., Isberner, M.: Active Automata Learning: From DFAs to Interface Programs and Beyond. In: ICGI 2012 (2012)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Falk Howar
    • 1
  • Malte Isberner
    • 2
  • Maik Merten
    • 2
  • Bernhard Steffen
    • 2
  1. 1.Carnegie Mellon UniversityMountain ViewUSA
  2. 2.Chair for Programming SystemsTechnical University DortmundDortmundGermany

Personalised recommendations