Static verification of dynamically detected program invariants

This publication has 31 references indexed in Scilit:

• Value profiling
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Bandera
  Published by Association for Computing Machinery (ACM) ,2000
• Structural specification-based testing
  ACM SIGSOFT Software Engineering Notes, 1999
• The Concept of Dynamic Analysis
  Published by Springer Nature ,1999
• Discovering models of software processes from event-based data
  ACM Transactions on Software Engineering and Methodology, 1998
• Event-Based Detection of Concurrency
  Published by Defense Technical Information Center (DTIC) ,1998
• Relative debugging
  Communications of the ACM, 1996
• Powerful techniques for the automatic generation of invariants
  Published by Springer Nature ,1996
• Data flow analysis for verifying properties of concurrent programs
  Published by Association for Computing Machinery (ACM) ,1994
• Grammatically biased learning: Learning logic programs using an explicit antecedent description language
  Artificial Intelligence, 1994