Computational Complexity · 2011 · 21 citations · 23 references
ComputingComputer ScienceFormal MethodsDeductive VerificationDesign For TestabilityHypothesis TestingProperty TheoryStructure-property RelationshipsTheorem ProvingHierarchical VerificationHierarchyHierarchy TheoremsProperty SpecificationProperty Testing
23
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
Simple Constructions of Almost k‐wise Independent Random Variables
Noga Alon, Oded Goldreich, Johan Håstad et al. · Random Structures and Algorithms · 1992 · 569 citations