Program result-checking: A theory of testing meets a test of theory (1994)

by Manuel Blum, Hal Wasserman
Venue:In FOCS