Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code.

Dawson R. Engler, David Yu Chen, Andy Chou

Browse the full SOSP paper archive.