Pannemans, Ralf Papers Coverage-Based Reduction of Test Execution Time: Lessons from a Very Large Industrial Project