Results 221 to 230 of about 403,714 (266)

Testing juntas [combinatorial property testing]

The 43rd Annual IEEE Symposium on Foundations of Computer Science, 2002. Proceedings., 2003
We show that a Boolean function over n Boolean variables can be tested for the property of depending on only k of them, using a number of queries that depends only on k and the approximation parameter /spl epsi/. We present two tests, both non-adaptive, that require a number of queries that is polynomial k and linear in /spl epsi//sup -1/.
E. Fischer, G. Kindler, D. Ron, S. Safra, A. Samorodnitsky   +4 more
openaire   +1 more source

Algebraic property testing

Proceedings of the fortieth annual ACM symposium on Theory of computing, 2008
We argue that the symmetries of a property being tested play a central role in property testing. We support this assertion in the context of algebraic functions, by examining properties of functions mapping a vector space Kn over a field K to a subfield F.
Tali Kaufman, Madhu Sudan
openaire   +1 more source

Property-oriented testing

Proceedings of the 2003 ACM symposium on Applied computing, 2003
Property-oriented testing uses the specification of a property to drive the testing process. The aim is to validate a program with respect to a target property, that is, to exercise the program and observe whether the property is violated or not. The paper defines a test strategy for safety properties in cyclic control systems.
Olfa Abdellatif-Kaddour, Pascale Thévenod-Fosse, Hélène Waeselynck   +2 more
openaire   +1 more source

Property-based testing

ACM SIGSOFT Software Engineering Notes, 1997
The goal of software testing analysis is to validate that an implementation satisfies its specifications. Many errors in software are caused by generalizable flaws in the source code. Property-based testing assures that a given program is free of specified generic flaws.
George Fink, Matt Bishop
openaire   +1 more source

IRESET Properties Tests.

1985
Abstract : IRESET A-1 and A-1a are castable explosives that hold promise as possible replacements for ammonium nitrate and fuel oil (ANFO) in large charges. This report covers the results of three rate stick tests conducted to determine the detonation characteristics of the IRESET explosives in large-diameter charges. Keywords: Tables(Data); and Charts.
Kenneth W. Havens, Kenneth G. Bell
openaire   +1 more source

Electrical Property Tests

2015
Abstract Measurements of the electrical properties of rock provide fundamental input to calibrate and interpret resistivity log measurements for water saturation interpretation. For clean sands and carbonates, the Archie equation requires porosity (or cementation) exponents (m) and saturation exponent (n) to calculate water saturation. In shaly sands,
Colin McPhee, Jules Reed, Izaskun Zubizarreta   +2 more
openaire   +1 more source

Property Testing

2022
Arnab Bhattacharyya, Yuichi Yoshida
openaire   +1 more source

Asymptotic Properties of Homogeneity Tests

Biometrika, 1973
SUMMARY Tests for the homogeneity of samples from the Poisson and Gamma distributions are considered based on the C(ac) procedure of Neyman and on maximum likelihood estimators. These are shown to be equivalent in spite of the fact that the null hypothesis lies on the boundary of the parameter space, which is contrary to the assumptions under which the
openaire   +2 more sources

Testing graphs for colorability properties*

Random Structures & Algorithms, 2004
AbstractLet P be a property of graphs. An ϵ‐test for P is a randomized algorithm which, given the ability to make queries whether a desired pair of vertices of an input graph G with n vertices are adjacent or not, distinguishes, with high probability, between the case of G satisfying P and the case that it has to be modified by adding and removing more
openaire   +1 more source

Computerized Thermal Property Testing

1983
Composite materials are widely used at McDonnell Douglas Corporation (MDC) for aircraft, missile, and satellite production. More specifically, composites have been used for the manufacture of the F-15 Eagle, F-18 Hornet, AV-8B advanced V/STOL light attack aircraft, and the aft propulsion system for the space shuttle.
Debra J. Winter, James E. Lenz, Richard L. Hillman   +2 more
openaire   +1 more source