Fault Detection Probability Analysis for Coverage-Based Test Suite Reduction | IEEE Conference Publication | IEEE Xplore