5159 search results - page 170 / 1032 » Structural Testing of Executables |
201
click to vote
AAAI
2010
15 years 7 months ago
2010
The goal of testing is to discriminate between multiple hypotheses about a system--for example, different fault diagnoses--by applying input patterns and verifying or falsifying t...
138
click to vote
DELTA
2002
IEEE
15 years 11 months ago
2002
IEEE
A flexible software based platform for number plate recognitions applications is described. It breaks the processing into several explicit modules, with the implementation for eac...
145
click to vote
USENIX
2008
15 years 9 months ago
2008
We present a novel method for diagnosing configuration management errors. Our proposed approach deduces the state of a buggy computer by running predicates that test system correc...
180
click to vote
AAECC
2006
Springer
15 years 7 months ago
2006
Springer
Abstract Besides equidistribution properties and statistical independence the lattice profile, a generalized version of Marsaglia's lattice test, provides another quality meas...
150
click to vote
ENTCS
2008
15 years 7 months ago
2008
Rewrite theories and their associated Kripke structures constitute a flexible and executable framework in which a wide range of systems can be studied. We present a general notion...