4299 search results - page 292 / 860 » Concurrent Test Generation |
143
click to vote
ASPLOS
2012
ACM
14 years 7 days ago
2012
ACM
Processor emulators are widely used to provide isolation and instrumentation of binary software. However they have proved difficult to implement correctly: processor specificati...
195
click to vote
SIGMOD
2012
ACM
13 years 7 months ago
2012
ACM
We present BloomUnit, a testing framework for distributed programs written in the Bloom language. BloomUnit allows developers to write declarative test specifications that descri...
109
click to vote
DAC
2009
ACM
16 years 5 months ago
2009
ACM
The discrepancy between integrated circuits' activities in normal functional mode and that in structural test mode has an increasing adverse impact on the effectiveness of ma...
223
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
In order to enable extensibility, modern query optimizers typically leverage a transformation rule based framework. Testing individual rule correctness as well as correctness of r...
156
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
Most of the software developed in the world follows the object-oriented (OO) paradigm. However, the existing work on evolutionary testing is mainly targeted to procedural language...