1192 search results - page 184 / 239 » Variation-Aware Fault Modeling |
162
click to vote
EMSOFT
2011
Springer
14 years 3 months ago
2011
Springer
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...
176
click to vote
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
115
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Concurrency bugs are becoming increasingly important due to the prevalence of concurrent programs. A fundamental problem of concurrent program bug detection and testing is that th...
127
click to vote
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
Keeping diagnostic resolution as high as possible while maximizing the compaction ratio is subject to research since the advent of embedded test. In this paper, we present a novel...
129
click to vote
IRI
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a software defect prediction model using operating characteristic curves. The main idea behind our proposed technique is to use geometric insight in helping construct a...