Coverage-Based Reduction of Test Execution Time: Lessons from a Very Large Industrial Project | IEEE Conference Publication | IEEE Xplore