7167 search results - page 183 / 1434 » A Technique for Invariant Generation |
173
click to vote
ISSRE
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a novel specification-based approach for generating tests for products in a software product line. Given properties of features as first-order logic formulas, our app...
152
click to vote
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
An algorithm is presented that automatically generates groundtruthed video from a symbolic description for an object and a specification for the movement of a handheld video camer...
209
click to vote
ESTIMEDIA
2007
Springer
16 years 1 months ago
2007
Springer
Embedded software design for MPSoC needs parallel programming. Popular programming languages such as C and C++ are not adequate for initial specification since they are designed f...
154
click to vote
VTS
2005
IEEE
16 years 22 days ago
2005
IEEE
TARO test patterns are transition fault test patterns that sensitize each transition fault to all of the outputs that can be reached from the fault location. We were not able to i...
186
click to vote
DAC
1997
ACM
15 years 11 months ago
1997
ACM
This paper presents a novel approach for automatic test pattern generation of asynchronous circuits. The techniques used for this purpose assume that the circuit can only be exerc...