CoMA: Conformance Monitoring of Java Programs by Abstract State Machines.

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene

Browse the full RV paper archive.