Monitoring Java Programs with Java PathExplorer (2001)

by K Havelund, G Rosu
Venue:In Proceedings of the 1st International Workshop on Runtime Verification (RV’01) [1