Ostrandand Weyuker. Data Flow-based Test Adequacy Analysis for Languages with Pointers. ACM Press, 1991, doi:10.1145/120807.120814.