Knowledge-based relevance filtering for efficient system-level test-based model generation

This publication has 22 references indexed in Scilit:

• On the Correspondence Between Conformance Testing and Regular Inference
  Lecture Notes in Computer Science, 2005
• Finding latent code errors via machine learning over program executions
  2004
• Behavior-based model construction
  International Journal on Software Tools for Technology Transfer, 2004
• Quickly detecting relevant program invariants
  2002
• Model Generation by Moderated Regular Extrapolation
  2002
• Adaptive Model Checking
  2002
• Discovering models of software processes from event-based data
  ACM Transactions on Software Engineering and Methodology, 1998
• Test selection based on finite state models
  IEEE Transactions on Software Engineering, 1991
• Learning regular sets from queries and counterexamples
  Information and Computation, 1987
• Testing Software Design Modeled by Finite-State Machines
  IEEE Transactions on Software Engineering, 1978