210 search results - page 1 / 42 » Algorithms for Automatically Computing the Causal Paths of F... |
105
Voted
FASE
2009
Springer
15 years 5 months ago
2009
Springer
We have proposed an automated debugging technique that explains a failure by computing its causal path leading from the root cause to the failure. Given a failing execution, the te...
102
Voted
CORR
2008
Springer
15 years 1 months ago
2008
Springer
A recent study characterizing failures in computer networks shows that transient single element (node/link) failures are the dominant failures in large communication networks like...
104
Voted
CAV
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. When a model does not satisfy a given specification, a counterexample is produced by the model checker to demonstrate the failure. A user must then examine the counterexa...
84
Voted
USENIX
2008
15 years 3 months ago
2008
We present a novel method for diagnosing configuration management errors. Our proposed approach deduces the state of a buggy computer by running predicates that test system correc...
104
Voted
ICDCS
2006
IEEE
15 years 7 months ago
2006
IEEE
Timing failures refer to a situation where the environment in which a system operates does not behave as expected regarding the timing assumptions, that is, the timing constraints...