Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study | Publicación