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.
@inproceedings{BlumW94,
title = {Program Result-Checking: A Theory of Testing Meets a Test of Theory},
author = {Manuel Blum and Hal Wasserman},
year = {1994},
tags = {testing},
researchr = {https://researchr.org/publication/BlumW94},
cites = {0},
citedby = {0},
pages = {382-392},
booktitle = {35th Annual Symposium on Foundations of Computer Science, 20-22 November 1994, Santa Fe, New Mexico, USA},
publisher = {IEEE},
}