21183 search results - page 440 / 4237 » Adaptive Testing by Test |
173
click to vote
SI3D
2003
ACM
16 years 1 days ago
2003
ACM
Shadow mapping is a technique for doing real-time shadowing. Recent work has shown that shadow mapping hardware can be used as a second depth test in addition to the z-test. In th...
156
click to vote
FATES
2003
Springer
16 years 14 hour ago
2003
Springer
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
157
click to vote
GECCO
2003
Springer
16 years 12 hour ago
2003
Springer
The aim of the paper is to investigate methods for deriving a suitable set of test paths for a software system. The design and the possible uses of the software system are modelled...
162
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
: It has always been assumed that fault models in memories are sufficiently precise for specifying the faulty behavior. This means that, given a fault model, it should be possible...
127
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we present an innovative methodology to estimate and improve the quality of analog and mixed-signal circuit testing. We first detect and reduce the redundancy in th...