Eric Bodden Patrick Lam Laurie J. Hendren Finding programming errors earlier by evaluating runtime monitors ahead-of-time. 36-47 2008 SIGSOFT FSE http://doi.acm.org/10.1145/1453101.1453109 conf/sigsoft/2008 db/conf/sigsoft/fse2008.html#BoddenLH08