Runtime instrumentation for precise flow-sensitive type analysis (2010)

by E Kneuss, P Suter, V Kuncak
Venue:In Runtime Verification