613 search results - page 1 / 123 » Finding and Fixing Faults |
CHARME
2005
Springer
14 years 4 months ago
2005
Springer
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
Although a number of automatic tools have been developed to detect faults, much of the diagnosis is still being done manually. To help with the diagnostic tasks, we formally intro...
SIGSOFT
2007
ACM
14 years 12 months ago
2007
ACM
Automatic bug-finding tools have a high false positive rate: most warnings do not indicate real bugs. Usually bug-finding tools assign important warnings high priority. However, t...
CAV
2006
Springer
14 years 2 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...
ICCAD
2003
IEEE
14 years 8 months ago
2003
IEEE
We investigate an integrated approach to fault tolerance and dynamic power management in real-time embedded systems. Fault tolerance is achieved via checkpointing and power manage...