Correctness verification: alternative to structural software testing

This publication has 4 references indexed in Scilit:

• Designing software for provable correctness: The direction for quality software
  Information and Software Technology, 1988
• A comparison of some structural testing strategies
  IEEE Transactions on Software Engineering, 1988
• Theory of Program Testing-An Overview
  Bell System Technical Journal, 1983
• The new math of computer programming
  Communications of the ACM, 1975