Spafford: Dynamic slicing in the presence of unconstrained pointers (1991)

by H Agrawal, R DeMillo, E
Venue:Proc. 4th Symposium on Testing, Analysis, and Verification. ACM