Checked Coverage for Test Suite Reduction – Is It Worth the Effort? | IEEE Conference Publication | IEEE Xplore