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

Manuel Blum Hal Wasserman

Published in: FOCS (1994)

Keyphrases

theoretical framework
test cases
decision trees
logic programming
information theory
regression testing