An In-Depth Study of the Efficiency of Risk Evaluation Formulas for Multi-Fault Localization | IEEE Conference Publication | IEEE Xplore