Property Testing of Regular Tree Languages

Property testing and its connection to learning and approximation

Oded Goldreich, Shari Goldwasser, Dana Ron · Journal of the ACM · 1998 · 1.1K citations · Full text

Computing, Computer Science, Mathematics +14

The Tree-to-Tree Correction Problem

Kuo‐Chung Tai · Journal of the ACM · 1979 · 863 citations · Full text

Computing, Computer Science, Decision Support Systems +4

Robust Characterizations of Polynomials with Applications to Program Testing

Ronitt Rubinfeld, Madhu Sudan · SIAM Journal on Computing · 1996 · 816 citations

Computing, Computer Science, Mathematics +11

Self-testing/correcting with applications to numerical problems

Manuel Blum, Michael Luby, Ronitt Rubinfeld · Journal of Computer and System Sciences · 1993 · 722 citations

Natural Sciences, Computational Engineering, Mathematics +12

Designing programs that check their work

Manuel Blum, Sampath Kannan · Journal of the ACM · 1995 · 399 citations · Full text

Computing, Computer Science, Algorithms +10