Jun-Wei Lin, Chin-Yu Huang: Analysis of test suite reduction with enhanced tie-breaking techniques. Inf. Softw. Technol. 51(4): 679-690 (2009)