István Forgács: An Exact Array Reference Analysis for Data Flow Testing. ICSE 1996: 565-574