Patches as better bug reports
- 22 October 2006
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 31 references indexed in Scilit:
- Simplify: a theorem prover for program checkingJournal of the ACM, 2005
- Generating error traces from verification-condition counterexamplesScience of Computer Programming, 2005
- From symptom to causeACM SIGPLAN Notices, 2003
- ESPACM SIGPLAN Notices, 2002
- A slicing-based approach for locating type errorsACM Transactions on Software Engineering and Methodology, 2001
- Explaining type inferenceScience of Computer Programming, 1996
- Comparison of syntactic error handling in LR parsersSoftware: Practice and Experience, 1995
- Fast text searchingCommunications of the ACM, 1992
- Efficiently computing static single assignment form and the control dependence graphACM Transactions on Programming Languages and Systems, 1991
- Depth-first iterative-deepeningArtificial Intelligence, 1985