Mining succinct predicated bug signatures
Causal inference for statistical fault localization