DIFC programs by automatic instrumentation. http://cs.wisc.edu/ ~wrharris/publications/tr-1673.pdf (2010)

by W R Harris, S Jha, T Reps