Approximate testing with error relative to input size.

DOI10.1016/S0022-0000(03)00004-7zbMATH Open1053.68061OpenAlexW2048846059MaRDI QIDQ1400577FDOQ1400577

Marcos Kiwi, Frédéric Magniez, Miklos Santha

Publication date: 13 August 2003

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0022-0000(03)00004-7

Recommendations

• Approximate testing with relative error
• Sub-Constant Error Low Degree Test of Almost-Linear Size
• Sub-constant error low degree test of almost-linear size
• On the Complexity of Estimating the Size of a Test Set
• Approximate testing and its relationship to learning
• A testing approach to estimation
• Approximate testing equivalence based on time, probability, and observed behavior
• Improving on exact tests by approximate conditioning

zbMATH Keywords

Program verificationApproximation errorRobustness and stability of functional equationsSelf-testing programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Title not available (Why is that?)
• On the Stability of the Linear Functional Equation
• Property testing and its connection to learning and approximation
• On the Behavior of Mappings which do not Satisfy Hyers-Ulam Stability
• On the Stability of the Linear Mapping in Banach Spaces
• A representation theorem for $(X_1-1)(X_2-1)...(X_n-1)$ and its applications
• Self-testing/correcting with applications to numerical problems
• Robust Characterizations of Polynomials with Applications to Program Testing
• Title not available (Why is that?)
• Hyers-Ulam stability of functional equations in several variables
• Designing programs that check their work
• Approximate homomorphisms
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Functions with bounded nth differences
• Local stability of the functional equation characterizing polynomial functions
• Title not available (Why is that?)
• On the Robustness of Functional Equations
• Checking approximate computations over the reals
• Title not available (Why is that?)

Cited In (3)

• Input-Thrifty Extrema Testing
• Approximate testing and its relationship to learning
• Checking approximate computations of polynomials and functional equations

This page was built for publication: Approximate testing with error relative to input size.

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