Instrumentation of Java Bytecode for Runtime Analysis (2003)

by Allen Goldberg, Klaus Havelund
Venue:In Fifth ECOOP Workshop on Formal Techniques for Java-like Programs (FTfJP’03