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

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