Hal Wasserman, Manuel Blum. Software reliability via run-time result-checking. Journal of the ACM, 44(6):826-849, 1997. [doi]
@article{WassermanB97, title = {Software reliability via run-time result-checking}, author = {Hal Wasserman and Manuel Blum}, year = {1997}, doi = {10.1145/268999.269003}, url = {http://doi.acm.org/10.1145/268999.269003}, tags = {reliability}, researchr = {https://researchr.org/publication/WassermanB97}, cites = {0}, citedby = {0}, journal = {Journal of the ACM}, volume = {44}, number = {6}, pages = {826-849}, }