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

by Hal Wasserman, Manuel Blum
Venue:J. ACM