scientific article; zbMATH DE number 1775411

MaRDI QIDQ4542544zbMATH OpenFDO

Authors Funda Ergün, Sampath Kannan, S. Ravi Kumar, Ronitt Rubinfeld, Mahesh Viswanathan

Publication date 14 January 2004

zbMATH Keywords

spot-checking

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• Spot-checkers
• A criterion for spots
• scientific article; zbMATH DE number 4097515
• The Proof Certifier Checkers

Cited in

(9)

• Testing whether a digraph contains H-free k-induced subgraphs
• An extended account of contract monitoring strategies as patterns of communication
• Checker for data structures which sort elements
• scientific article; zbMATH DE number 1445300 (Why is no real title available?)
• Information theory in property testing and monotonicity testing in higher dimension
• Directed isoperimetric theorems for Boolean functions on the hypergrid and an \(\widetilde{O}(n\sqrt{d})\) monotonicity tester
• Almost Optimal Distribution-Free Sample-Based Testing of k-Modality
• Verification of Identities
• On the average-case complexity of property testing

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4542544)