Croisy, Pascal Papers Test case selection in industry: an analysis of issues related to static approaches