There are two groups of domain testing methods – equivalence class testing (ECT) methods and boundary value testing (BVT) methods reviewed in this paper. This paper surveys 17 domain testing methods applicable to domains of independent input parameters of a program. This survey describes the basic algorithms used by domain testing methods for test case generation. The paper focuses on the theor...

Using the measurement-based quantum computation model, we construct interactive proofs with non-communicating quantum provers and a classical verifier. Our construction gives interactive proofs for all languages in BQP with a polynomial number of quantum provers, each of which, in the honest case, performs only a single measurement. In this paper we introduce two main improvements over previous...

Given an i.i.d. sample drawn from a density f on the real line, the problem of testing whether f is in a given class of densities is considered. Testing procedures constructed on the basis of minimizing the L1-distance between a kernel density estimate and any density in the hypothesized class are investigated. General non-asymptotic bounds are derived for the power of the test. It is shown tha...

This work studies a new type of problems in property testing, called dual problems. For a set Π in a metric space and δ > 0, denote by Fδ(Π) the set of elements that are δ-far from Π. Then, in property testing, a δ-tester for Π is required to accept inputs from Π and reject inputs from Fδ(Π). A natural dual problem is the problem of δ-testing the set of “no” instances, that is Fδ(Π): A δ-tester...

A central problem in Binary Hypothesis Testing (BHT) is to determine the optimal tradeoff between Type I error (referred as false alarm) and II miss) error. In this context, exponential rate of convergence miss probability -- sample size tends infinity given some (positive) restrictions on alarm probabilities a fundamental question address theory. Considering more realistic context BHT with fin...