6293 search results - page 247 / 1259 » Information Flow Testing |
143
click to vote
VLSID
2007
IEEE
16 years 4 months ago
2007
IEEE
We introduce a novel method of test generation for microprocessors at the RTL using spectral methods. Test vectors are generated for RTL faults, which are the stuck-at faults on i...
120
click to vote
ITC
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper we introduce a tool which is capable of verifying an 1149.1 test logic implementation and its compliance to the IEEE 1149.1 Standard [1][2] while providing a precise...
124
click to vote
EUROGP
2003
Springer
15 years 9 months ago
2003
Springer
Test programs are fragment of code, but, unlike ordinary application programs, they are not intended to solve a problem, nor to calculate a function. Instead, they are supposed to ...
123
click to vote
ICPR
2002
IEEE
15 years 9 months ago
2002
IEEE
Voxel Coloring has become a popular technique for reconstructing a 3D scene from a set of 2D images. While many different variants of this technique exist, all rely on a test to d...
129
click to vote
FATES
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...