Novark, G., Berger, E.D., Zorn, B.G.,
"Exterminator: automatically correcting memory errors with high probability",
PLDI'07 Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation, San Diego, California, USA, June 2007, ACM SIGPLAN, ACM SIGSOFT, pp. 1-11.
Google