Quickly detecting relevant program invariants

This publication has 6 references indexed in Scilit:

• Experiments on the effectiveness of dataflow- and control-flow-based test adequacy criteria
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Dynamically discovering likely program invariants to support program evolution
  Published by Association for Computing Machinery (ACM) ,1999
• Empirical studies of a safe regression test selection technique
  IEEE Transactions on Software Engineering, 1998
• Lackwit
  Published by Association for Computing Machinery (ACM) ,1997
• Software Reliability Models: Assumptions, Limitations, and Applicability
  IEEE Transactions on Software Engineering, 1985
• The Science of Programming
  Published by Springer Nature ,1981