CCured: Type-safe retrofitting of legacy software (2005)

by G C Necula, J Condit, M Harren, S McPeak, W Weimer
Venue:ACM Transactions on Programming Languages and Systems