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

by Manuel Blum , Hal Wasserman
Venue:JOURNAL OF THE ACM
Citations:99 - 2 self