Checking and correcting behaviors of java programs at runtime with Java-MOP (2005)

by Feng Chen , Marcelo d'Amorim , Grigore Rosu
Venue:IN: WORKSHOP ON RUNTIME VERIFICATION (RV’05). VOLUME 144(4) OF ENTCS. (2005) 3–20
Citations:14 - 3 self