Ann Q. Gates Oscar Mondragon Mary Payne Steve Roach Instrumentation of Intermediate Code for Runtime Verification. 66 2003 conf/sew/2003 SEW http://doi.ieeecomputersociety.org/10.1109/SEW.2003.1270727 db/conf/sew/sew2003.html#GatesMPR03