On the analysis of spectrum based fault localization using hitting sets.

•Two variants of Sendys to patch its NOR problem and improve its performance.•First comprehensive theoretical analysis on Sendys and its variants.•A short-cut reformulation of the enhanced Sendys with the best performance.•Empirical studies on single and multiple faults to complement theoretical analysis.