Learning to Reuse: Adaptive Model Learning for Evolving Systems

This publication has 29 references indexed in Scilit:

• Learning from Difference
  2019
• Pitfalls in Applying Model Learning to Industrial Legacy Software
  2018
• A practical guide for using statistical tests to assess randomized algorithms in software engineering
  2011
• From ZULU to RERS
  Lecture Notes in Computer Science, 2010
• Verification of evolving software via component substitutability analysis
  Formal Methods in System Design, 2008
• Part I. Testing of Finite State Machines
  Lecture Notes in Computer Science, 2005
• Adaptive Model Checking
  2002
• 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