The Open-Source LearnLib

This publication has 35 references indexed in Scilit:

• Generating models of infinite-state communication protocols using regular inference with abstraction
  Formal Methods in System Design, 2014
• Learning Extended Finite State Machines
  Lecture Notes in Computer Science, 2014
• Formal Models of Bank Cards for Free
  2013
• Reusing System States by Active Learning Algorithms
  2012
• Automata Learning through Counterexample Guided Abstraction Refinement
  2012
• Inference and analysis of formal models of botnet command and control protocols
  2010
• libalf: The Automata Learning Framework
  2010
• Testing the Equivalence of Regular Languages
  Electronic Proceedings in Theoretical Computer Science, 2009
• Synthesis of interface specifications for Java classes
  2005
• Learning regular sets from queries and counterexamples
  Information and Computation, 1987