CCured: Type-Safe Retrofitting of Legacy Software (2005)

by George C. Necula, Jeremy Condit, Matthew Harren, Scott Mcpeak, Westley Weimer
Venue:ACM Transactions on Programming Languages and Systems