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

by H Wassermann, M Blum
Venue:Journal of the ACM,