R.: Selftesting and Self-correcting programs, with Applications to Numerical Programs (1990)

by M Blum, M Luby, Rubinfeld
Venue:Proc. 22nd ACM Symp. on Theory of Computing