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