Isolating cause-effect chains from computer programs
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
From symptom to cause: localizing errors in counterexample traces
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Automated Software Engineering
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Locating causes of program failures
Proceedings of the 27th international conference on Software engineering
Empirical evaluation of the tarantula automatic fault-localization technique
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Error explanation with distance metrics
International Journal on Software Tools for Technology Transfer (STTT)
Automated Fault Localization for C Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatically finding patches using genetic programming
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Software debugging, testing, and verification
IBM Systems Journal
What went wrong: explaining counterexamples
SPIN'03 Proceedings of the 10th international conference on Model checking software
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
CHARME'05 Proceedings of the 13 IFIP WG 10.5 international conference on Correct Hardware Design and Verification Methods
Whodunit? causal analysis for counterexamples
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
| Hi-index | 0.00 |
We present a technique for automatically detecting and correcting software bugs. The programmer is required to define a catalog of hotspots, syntactic constructs she considered to be error prone (e.g. i