Bugs as deviant behavior: A general approach to inferring errors in systems code (2001)

by D ENGLER, D CHEN, S HALLEM, A CHOU, B CHELF
Venue:In Proceedings of Symposium on Operating Systems Principles (SOSP). ACM