Instrumentation of intermediate code for runtime verification | IEEE Conference Publication | IEEE Xplore