Path-sensitive Alias Analysis for Data Flow Testing