Combining test case generation and runtime verification

This publication has 39 references indexed in Scilit:

• Program monitoring with LTL in Eagle
  2004
• Rule-Based Runtime Verification
  2004
• JNuke: Efficient Dynamic Analysis for Java
  Lecture Notes in Computer Science, 2004
• High‐level data races
  Software Testing, Verification and Reliability, 2003
• A specification-based coverage metric to evaluate test sets
  2003
• Testing monadic code with QuickCheck
  2002
• Korat
  2002
• The Temporal Rover and the ATG Rover
  2000
• MetateM: An introduction
  Formal Aspects of Computing, 1995
• A System to Generate Test Data and Symbolically Execute Programs
  IEEE Transactions on Software Engineering, 1976