Approximate testing with error relative to input size.

DOI10.1016/S0022-0000(03)00004-7zbMath1053.68061OpenAlexW2048846059MaRDI QIDQ1400577

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

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

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

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

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