A Revisit of a Theoretical Analysis on Spectrum-Based Fault Localization

As a promising automatic fault localization technique, Spectrum-Based Fault Localization (SBFL) has been proposed and widely studied for years, in which the effectiveness of risk evaluation formula is one of the most popular research topics. We have developed a framework to support the theoretical analysis of risk evaluation formulas, via subset relations. In this paper, we would like to further justify the assumptions used in our framework, which are not only to make the theoretical analysis be feasible, but they are actually required either explicitly or implicitly by SBFL.