A Revisit of a Theoretical Analysis on Spectrum-Based Fault Localization
Tsong Yueh Chen, Xiaoyuan Xie, Fei‐Ching Kuo, Baowen Xu · 2015
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.