From Passive to Active: Learning Timed Automata Efficiently

This publication has 26 references indexed in Scilit:

• Time for Mutants — Model-Based Mutation Testing with Timed Automata
  Lecture Notes in Computer Science, 2013
• A taxonomy of model‐based testing approaches
  Software Testing, Verification and Reliability, 2011
• UML in action
  ACM SIGSOFT Software Engineering Notes, 2011
• Learning of event-recording automata
  Theoretical Computer Science, 2010
• Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
  Lecture Notes in Computer Science, 2009
• On the Correspondence Between Conformance Testing and Regular Inference
  Lecture Notes in Computer Science, 2005
• Testing timed automata
  Theoretical Computer Science, 2001
• Event-clock automata: a determinizable class of timed automata
  Theoretical Computer Science, 1999
• A theory of timed automata
  Theoretical Computer Science, 1994
• Learning regular sets from queries and counterexamples
  Information and Computation, 1987