Evaluating & improving fault localization techniques
A theoretical analysis of the risk evaluation formulas for spectrum-based fault localization