Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code. - Dawson R. Engler; David Yu Chen; Andy Chou (SOSP, 2001)