Bug localization by algorithmic debugging and program slicing

This publication has 7 references indexed in Scilit:

• Interprocedural slicing using dependence graphs
  ACM Transactions on Programming Languages and Systems, 1990
• Single-assignment semantics for imperative programs
  Published by Springer Nature ,1989
• Affect-chaining and dependency oriented flow analysis applied to queries of programs
  Published by Association for Computing Machinery (ACM) ,1988
• Knowledge-Based Program Debugging Systems
  IEEE Software, 1987
• Program Slicing
  IEEE Transactions on Software Engineering, 1984
• Symbolic debugging through incremental compilation in an integrated environment
  Journal of Systems and Software, 1983
• Algorithmic Program Debugging
  Published by MIT Press ,1983