Software reliability via run-time result-checking (1997)

by H Wasserman, M Blum
Venue:Journal of the Association for Computing Machinery