Focused Dynamic Slicing for Large Applications using an Abstract Memory-Model. - Alexis Soifer; Diego Garbervetsky; Víctor A. Braberman; Sebastián Uchitel (CoRR, 2022)