Dawson R. Engler David Yu Chen Andy Chou Bugs as Inconsistent Behavior: A General Approach to Inferring Errors in Systems Code. 57-72 2001 SOSP http://doi.acm.org/10.1145/502034.502041 db/conf/sosp/sosp2001.html#EnglerCC01