6 search results - page 1 / 2 » Efficient error detection, localization, and correction for ... |
DAC
2000
ACM
14 years 6 months ago
2000
ACM
FORTE
2004
13 years 6 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
SUTC
2006
IEEE
13 years 11 months ago
2006
IEEE
Abstract— Sensor networks are being increasingly deployed for collecting critical data in various applications. Once deployed, a sensor network may experience faults at the indiv...
KBSE
2009
IEEE
13 years 11 months ago
2009
IEEE
—Automated debugging is becoming increasingly important as the size and complexity of software increases. This paper makes a case for using constraint-based data structure repair...
SIGSOFT
2003
ACM
14 years 5 months ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...