No pot of gold at the end of program spectrum rainbow: Greatest risk evaluation formula does not exist
Shin Yoo, Xie, Xiaoyuan, Fei‐Ching Kuo, Tsong Yueh Chen, Mark Harman · Swinburne figshare (Swinburne University of Technology) · 2014
Spectrum Based Fault Localisation (SBFL) techniques rely on risk assessment formulae to convert program execution spectrum into risk evaluation values, which are in turn used to rank program statements according to their relative suspiciousness with respect to the observed failure. Recent work proved equivalence and hierarchy between different formulae, identifying a few groups of maximal formulae, i.e., formulae that do not dominate each other. The holy grail in the field has been to come up with the greatest formula, that is, the one that dominates all known formulae. This paper proves that such a formula does not exist.