From symptom to cause

This publication has 18 references indexed in Scilit:

• Verisim: formal analysis of network simulations
  IEEE Transactions on Software Engineering, 2002
• Tracking down software bugs using automatic anomaly detection
  Published by Association for Computing Machinery (ACM) ,2002
• Compositional explanation of types and algorithmic debugging of type errors
  Published by Association for Computing Machinery (ACM) ,2001
• Dynamically discovering likely program invariants to support program evolution
  IEEE Transactions on Software Engineering, 2001
• A slicing-based approach for locating type errors
  ACM Transactions on Software Engineering and Methodology, 2001
• Eraser
  ACM Transactions on Computer Systems, 1997
• Explaining type inference
  Science of Computer Programming, 1996
• Explaining type errors in polymorphic languages
  ACM Letters on Programming Languages and Systems, 1993
• Interprocedural slicing using dependence graphs
  ACM Transactions on Programming Languages and Systems, 1990
• Dynamic program slicing
  Information Processing Letters, 1988