SOBER: statistical model-based bug localization
Bugs as Inconsistent Behavior: A General Approach to Inferring Errors in Systems Code.