Jeremy Condit Matthew Harren Scott McPeak George C. Necula Westley Weimer CCured in the real world. 232-244 2003 conf/pldi/2003 PLDI http://doi.acm.org/10.1145/781131.781157 db/conf/pldi/pldi2003.html#ConditHMNW03