Data Flow-Based Software Testing. - Derong Jiang; Jianfeng Hu (CSSE (5), 2008)