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 Proceedings of Eighteenth ACM Symposium on Operating Systems Principles