Marina Biberstein Vugranam C. Sreedhar Bilha Mendelson Daniel Citron Alberto Giammaria Instrumenting annotated programs. 164-174 2005 conf/vee/2005 VEE http://doi.acm.org/10.1145/1064979.1065002 db/conf/vee/vee2005.html#BibersteinSMCG05