Software Reliability via Run-Time Result-Checking (1997)

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