4299 search results - page 125 / 860 » Concurrent Test Generation |
138
Voted
VTS
2002
IEEE
15 years 8 months ago
2002
IEEE
High defect coverage requires good coverage of different fault types. In this paper, we present a comprehensive test vector generation technique for BIST, called Random Single Inp...
260
Voted
LPAR
2012
Springer
13 years 11 months ago
2012
Springer
Abstract. We present a novel counterexample generator for the interactive theorem prover Isabelle based on a compiler that synthesizes test data generators for functional programmi...
128
Voted
SAC
2010
ACM
15 years 10 months ago
2010
ACM
The applicability of aspects as a means of implementing runtime contract checking has been demonstrated in prior work, where contracts are identified as cross-cutting concerns [1...
179
click to vote
AOSD
2008
ACM
15 years 5 months ago
2008
ACM
e instantiation is the transformation of abstract test cases cutable test scripts. Abstract test cases are either created during model based test case generation or are manually d...
101
Voted
ICIP
2009
IEEE
16 years 4 months ago
2009
IEEE
In implementing an efficient block coder for JPEG2000, the memories required for storing the state variables dominate the hardware cost of a block coder. In this paper, we propose...