Thomas J. Ostrand Elaine J. Weyuker Data Flow-Based Test Adequacy Analysis for Languages with Pointers. 74-86 1991 Symposium on Testing, Analysis, and Verification http://doi.acm.org/10.1145/120807.120814 db/conf/issta/tav91.html#OstrandW91