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

by G NECULA, J CONDIT, M HARREN, S MCPEAK, W WEIMER
Venue:ACM Transactions on Programming Languages and Systems