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

by H Wasserman, M Blum
Venue:J. ACM