Program result-checking: a theory of testing meets a test of theory

Proceedings 35th Annual Symposium on Foundations of Computer Science ◽

10.1109/sfcs.1994.365678 ◽

2002 ◽

Cited By ~ 12

Author(s):

M. Blum ◽

H. Wasserman

Download Full-text