Ducasse, Stéphane Papers Test case selection in industry: an analysis of issues related to static approaches