Hiralal Agrawal Richard A. DeMillo Eugene H. Spafford Dynamic Slicing in the Presence of Unconstrained Pointers. 60-73 1991 Symposium on Testing, Analysis, and Verification http://doi.acm.org/10.1145/120807.120813 db/conf/issta/tav91.html#AgrawalDS91