Test case selection using structural coverage in software product lines for time-budget constrained scenarios | Publicación