From symptom to cause
- 15 January 2003
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 38 (1), 97-105
- https://doi.org/10.1145/640128.604140
Abstract
No abstract availableThis publication has 18 references indexed in Scilit:
- Verisim: formal analysis of network simulationsIEEE Transactions on Software Engineering, 2002
- Tracking down software bugs using automatic anomaly detectionPublished by Association for Computing Machinery (ACM) ,2002
- Compositional explanation of types and algorithmic debugging of type errorsPublished by Association for Computing Machinery (ACM) ,2001
- Dynamically discovering likely program invariants to support program evolutionIEEE Transactions on Software Engineering, 2001
- A slicing-based approach for locating type errorsACM Transactions on Software Engineering and Methodology, 2001
- EraserACM Transactions on Computer Systems, 1997
- Explaining type inferenceScience of Computer Programming, 1996
- Explaining type errors in polymorphic languagesACM Letters on Programming Languages and Systems, 1993
- Interprocedural slicing using dependence graphsACM Transactions on Programming Languages and Systems, 1990
- Dynamic program slicingInformation Processing Letters, 1988