Reusing System States by Active Learning Algorithms

This publication has 21 references indexed in Scilit:

• Introduction to Active Automata Learning from a Practical Perspective
  2011
• Next Generation LearnLib
  2011
• Inferring Mealy Machines
  2009
• Knowledge-based relevance filtering for efficient system-level test-based model generation
  Innovations in Systems and Software Engineering, 2005
• Behavior-based model construction
  International Journal on Software Tools for Technology Transfer, 2004
• Domain-Specific Optimization in Automata Learning
  2003
• On the Learnability of Infinitary Regular Sets
  Information and Computation, 1995
• Inference of Finite Automata Using Homing Sequences
  Information and Computation, 1993
• Test selection based on finite state models
  IEEE Transactions on Software Engineering, 1991
• Learning regular sets from queries and counterexamples
  Information and Computation, 1987