Automated fault localization via hierarchical multiple predicate switching
A hierarchical multiple predicate switching (HMPS) technique is proposed to locate bugs efficiently. HMPS combines spectrum-based fault localization techniques with predicate switching techniques. Two switch instrumentation strategies and three switch combination strategies are presented to facilitate the search for critical predicates. The results show that HMPS finds critical predicates for 199 out of 300 common bugs, in which 111 out of 199 are identified only through switching multiple predicate instances.
fault localization multiple predicate switching predicate