Isolating cause-effect chains from computer programs

This publication has 14 references indexed in Scilit:

• Simplifying and isolating failure-inducing input
  IEEE Transactions on Software Engineering, 2002
• Visualizing Memory Graphs
  Published by Springer Nature ,2002
• Dynamically discovering likely program invariants to support program evolution
  IEEE Transactions on Software Engineering, 2001
• Which pointer analysis should I use?
  Published by Association for Computing Machinery (ACM) ,2000
• Automatic isolation of compiler errors
  ACM Transactions on Programming Languages and Systems, 1994
• Dynamic slicing of computer programs
  Journal of Systems and Software, 1990
• Dynamic program slicing
  ACM SIGPLAN Notices, 1990
• Programmers use slices when debugging
  Communications of the ACM, 1982
• Subgraph isomorphism, matching relational structures and maximal cliques
  Information Processing Letters, 1976
• Algorithm 457: finding all cliques of an undirected graph
  Communications of the ACM, 1973