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

by Dawson Engler, David Yu Chen, Seth Hallem, Andy Chou, Benjamin Chelf
Venue:In Proc. 18th ACM Symposium on Operating Systems Principles,