Experiments with Test Case Generation and Runtime Analysis

This publication has 14 references indexed in Scilit:

• Synthesizing Monitors for Safety Properties
  Published by Springer Nature ,2002
• A Temporal Logic Based Theory of Test Coverage and Generation
  Published by Springer Nature ,2002
• Korat
  ACM SIGSOFT Software Engineering Notes, 2002
• Generating finite state machines from abstract state machines
  ACM SIGSOFT Software Engineering Notes, 2002
• Monitoring Java Programs with Java PathExplorer
  Electronic Notes in Theoretical Computer Science, 2001
• The Temporal Rover and the ATG Rover
  Published by Springer Nature ,2000
• The Maude System
  Published by Springer Nature ,1999
• Eraser
  ACM Transactions on Computer Systems, 1997
• Automated software test data generation
  IEEE Transactions on Software Engineering, 1990
• Symbolic execution and program testing
  Communications of the ACM, 1976