Next generation LearnLib

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6605 LNCS, Issue , 2011, Pages 220-223

  Merten, Maik ^a   Steffen, Bernhard ^a   Howar, Falk ^a   Margaria, Tiziana ^b  

^a TU DORTMUND UNIVERSITY   (Germany)

^b UNIVERSITY OF POTSDAM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX LEARNING; COMPONENT LIBRARIES; MODEL-BASED; REALISTIC SYSTEMS; TEST HARNESS;

ALGORITHMS;

EID: 79953206304     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-19835-9_18     Document Type: Conference Paper

References (9)

1. Zulu - Active learning from queries competition (2010), http://labh-curien.univ-st-etienne.fr/zulu/
2. Angluin, D.: Learning Regular Sets from Queries and Counterexamples. Information and Computation 2(75), 87-106 (1987)
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)
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)
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)
6. Kearns, M.J., Vazirani, U.V.: An Introduction to Computational Learning Theory. MIT Press, Cambridge (1994)
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)
8. Rivest, R.L., Schapire, R.E.: Inference of finite automata using homing sequences. Inf. Comput. 103(2), 299-347 (1993)
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)