CoMA: Conformance Monitoring of Java Programs by Abstract State Machines (2012)

by P Arcaini, A Gargantini, E Riccobene
Venue:In Khurshid and Sen (eds.), Runtime Verification. LNCS 7186