2218 search results - page 41 / 444 » Testing Expressibility Is Hard |
SIGMOD
2004
ACM
14 years 7 months ago
2004
ACM
Schema matching identifies elements of two given schemas that correspond to each other. Although there are many algorithms for schema matching, little has been written about build...
FATES
2003
Springer
14 years 28 days ago
2003
Springer
Abstract. In this paper we propose an approach to automatically produce test cases allowing to check the satis ability of a linear property on a given implementation. Linear proper...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
For Rayleigh/Rician statistics at the decision device, the probability of correct decision in the forced choice (FC) hypothesis test is given in terms of a closed-form finite ser...
IUI
2012
ACM
12 years 3 months ago
2012
ACM
As applications are developed, functional tests ensure they continue to function as expected. Nowadays, functional testing is mostly done manually, with human testers verifying a ...
VTS
1997
IEEE
13 years 12 months ago
1997
IEEE
Accumulators based on addition or subtraction can be used as test pattern generators. Some circuits, however, require long test lengths if the parameters of the accumulator are no...