Markus Mock Darren C. Atkinson Craig Chambers Susan J. Eggers Program Slicing with Dynamic Points-To Sets. 657-678 2005 31 IEEE Trans. Software Eng. 8 http://doi.ieeecomputersociety.org/10.1109/TSE.2005.94 db/journals/tse/tse31.html#MockACE05