1518 search results - page 42 / 304 » Cryptographic Test Correction |
AAAI
1992
14 years 3 days ago
1992
We describe an approach to training a statistical parser from a bracketed corpus, and demonstrate its use in a software testing application that translates English speci cations i...
VTS
2003
IEEE
14 years 4 months ago
2003
IEEE
This paper addresses the problem of compacting test responses in the presence of unknowns at the input of the compactor by exploiting the capabilities of well-known error detectio...
EUSFLAT
2007
14 years 12 days ago
2007
This paper concerns problem of selection of optimal subset of irredundant unconditional diagnostic tests by means of evolutionary approach. The method of correction of features’...
COMCOM
1999
13 years 10 months ago
1999
If a test does not produce the expected output, the incorrect output may have been caused by an earlier state transfer failure. Ghedamsi and von Bochmann [1992] and Ghedamsi et al...
CL
2000
Springer
14 years 2 months ago
2000
Springer
We use Kleene algebra with tests to verify a wide assortment of common compiler optimizations, including dead code elimination, common subexpression elimination, copy propagation,...