Program Result-Checking: A Theory of Testing Meets a Test of Theory

Manuel Blum, Hal Wasserman. Program Result-Checking: A Theory of Testing Meets a Test of Theory. In 35th Annual Symposium on Foundations of Computer Science, 20-22 November 1994, Santa Fe, New Mexico, USA. pages 382-392, IEEE, 1994.

Abstract

Abstract is missing.