Properties of Effective Metrics for Coverage-Based Statistical Fault Localization | IEEE Conference Publication | IEEE Xplore