Practical Aspects of Active Automata Learning

Falk Howar, Maik Merten, Bernhard Steffen, Tiziana Margaria

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

Original languageEnglish
Title of host publicationFormal Methods for Industrial Critical Systems
Subtitle of host publicationA Survey of Applications
PublisherJohn Wiley and Sons
Pages235-267
Number of pages33
ISBN (Print)9780470876183
DOIs
Publication statusPublished - 29 Nov 2012
Externally publishedYes

Keywords

  • LearnLib, base technology
  • Membership queries
  • Practical
  • Regular extrapolation

Cite this