Monitoring Java programs with Java PathExplorer (2001)

by K Havelund, G Rosu
Venue:In Runtime Verification 2001, volume 55 of ENTCS