Gina Goff Ken Kennedy Chau-Wen Tseng Practical Dependence Testing. 15-29 1991 PLDI db/conf/pldi/pldi91.html#GoffKT91