Self-Testing/Correcting Programs


Self-Testing/Correcting with Applications to Numerical Problems (423K)
Manuel Blum, Michael Luby, Ronitt Rubinfeld
Preliminary version in 22nd STOC, 1990.
Final version in JCSS, Vol. 47, No. 3, December 1993, pp. 549-595.

Program Result Checking against Adaptive Programs in Cryptographic Settings (179K)
Manuel Blum, Michael Luby, Ronitt Rubinfeld
DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Vol. 2, 1991, pp. 107-118.