1. Blum, M., Luby, M., Rubinfeld, R.: Self-testing/correcting with applications to numerical problems. J. ACM 47, 549–595 (1993)
2. Ergun, F., Kannan, S., Kumar, S.R., Rubinfeld, R., Viswanathan, M.: Spot-checkers. J. Comput. Syst. Sci. 60(3), 717–751 (2000)
3. Fischer, E.: The art of uninformed decisions: a primer to property testing. Bull. Eur. Assoc. Theor. Comput. Sci. 75, 97–126 (2001)
4. Goldreich, O.: Short locally testable codes and proofs (a survey). Technical report TR05-014, Electronic Colloquium on Computational Complexity (ECCC) (2005)
5. Goldreich, O.: Computational Complexity: A Conceptual Perspective. Cambridge University Press, Cambridge/New York (2008)