Heuristic-driven techniques for test case selection - Burguillo J; Llamas M; Fernández M; Robles T (Electronic Notes In Theoretical Computer Science, 2002)