Program Result-Checking: A Theory of Testing Meets a Test of Theory

Manuel Blum, Hal Wasserman

Browse the full FOCS paper archive.