Dynamic Slicing in the Presence of Unconstrained Pointers. - Agrawal, Hiralal; DeMillo, Richard A.; Spafford, Eugene H. (1991)