CoMA: Conformance Monitoring of Java programs by Abstract State Machines