Approximate testing with relative error

Designing programs that check their work

STOC '89 Proceedings of the twenty-first annual ACM symposium on Theory of computing

Hiding instances in multioracle queries

STACS 90 Proceedings of the seventh annual symposium on Theoretical aspects of computer science

Self-testing/correcting with applications to numerical problems

STOC '90 Proceedings of the twenty-second annual ACM symposium on Theory of computing

Self-testing/correcting for polynomials and for approximate functions

STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing

A mathematical theory of self-checking, self-testing and self-correcting programs

A mathematical theory of self-checking, self-testing and self-correcting programs

Self-testing polynomial functions efficiently and over rational domains

SODA '92 Proceedings of the third annual ACM-SIAM symposium on Discrete algorithms

Checking approximate computations over the reals

STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing

The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms

The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms

Robust Characterizations of Polynomials withApplications to Program Testing

SIAM Journal on Computing

Approximate checking of polynomials and functional equations

FOCS '96 Proceedings of the 37th Annual Symposium on Foundations of Computer Science

Property testing and its connection to learning and approximation

FOCS '96 Proceedings of the 37th Annual Symposium on Foundations of Computer Science