Alessandro Orso, Saurabh Sinha, Mary Jean Harrold. Classifying data dependences in the presence of pointers for program comprehension, testing, and debugging. ACM Transactions on Software Engineering Methodology, 13(2):199-239, 2004. [doi]
Abstract is missing.