An Approach to Test Data Generation for Killing Multiple Mutants. - Ming-Hao Liu 001; You-Feng Gao; Jinhui Shan; Jiang-Hong Liu; Lu Zhang 023; Jiasu Sun (ICSM, 2006)