Event-based runtime verification of Java programs (2005)

by M D’Amorim, K Havelund
Venue:In Workshop on Dynamic Program Analysis (WODA’05), volume 30(4) of ACM Sigsoft Software Engineering Notes