Focused Dynamic Slicing for Large Applications using an Abstract Memory-Model

Alexis Soifer, Diego Garbervetsky, Victor Braberman +1

Dynamic slicing techniques compute program dependencies to find all statements that affect the value of a variable at a program point for a specific execution. Despite their many p…