19 search results - page 1 / 4 » How Fail-Stop are Faulty Programs |
115
Voted
FTCS
1998
15 years 4 months ago
1998
Most fault-tolerant systems are designed to stop faulty programs before they write permanent data or communicate with other processes. This property (halt-on-failure) forms the co...
101
Voted
SIGSOFT
2002
ACM
16 years 3 months ago
2002
ACM
This paper explores the idea that redundant operations, like type errors, commonly flag correctness errors. We experimentally test this idea by writing and applying four redundanc...
119
Voted
ESOP
2010
Springer
15 years 12 months ago
2010
Springer
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
106
Voted
CAV
2006
Springer
15 years 6 months ago
2006
Springer
We show how to find and fix faults in Boolean programs by extending the program to a game. In the game, the protagonist can select an alternative implementation for an incorrect st...
143
Voted
COMPSAC
2011
IEEE
14 years 2 months ago
2011
IEEE
Abstract—Statistical fault localization techniques find suspicious faulty program entities in programs by comparing passed and failed executions. Existing studies show that such ...