| checkErrorPathTypes(ErrorPath) |   | 27% | | 32% | 30 | 36 | 58 | 83 | 0 | 1 |
| checkConnectionErrorTypes(Connection) | | 58% | | 54% | 32 | 45 | 42 | 121 | 0 | 1 |
| checkTransitionTargetTriggerTypes(ErrorBehaviorTransition) | | 45% | | 53% | 8 | 14 | 19 | 45 | 0 | 1 |
| casePropertyAssociation(PropertyAssociation) | | 11% | | 7% | 7 | 8 | 18 | 21 | 0 | 1 |
| checkUseBehavior(ErrorModelSubclause) | | 31% | | 41% | 4 | 7 | 11 | 21 | 0 | 1 |
| checkTransitionTargetTypes(TransitionBranch) | | 22% | | 18% | 8 | 9 | 13 | 20 | 0 | 1 |
| checkUniqueEBSMElements(ErrorBehaviorStateMachine) | | 56% | | 75% | 3 | 7 | 8 | 19 | 0 | 1 |
| checkOutgoingTypes(OutgoingPropagationCondition) | | 54% | | 53% | 9 | 14 | 13 | 29 | 0 | 1 |
| checkUniquePropagationPointorPath(NamedElement) | | 56% | | 68% | 5 | 12 | 6 | 19 | 0 | 1 |
| checkDetectionSourceTypes(ErrorDetection) | | 10% | | 10% | 5 | 6 | 13 | 16 | 0 | 1 |
| checkUniqueDefiningEBSMMappingsTransformations(ErrorModelLibrary, HashMap) | | 64% | | 75% | 4 | 9 | 7 | 20 | 0 | 1 |
| checkSConditionElementType(SConditionElement) | | 61% | | 46% | 10 | 14 | 8 | 28 | 0 | 1 |
| checkErrorSourceTypes(ErrorSource) | | 55% | | 68% | 5 | 9 | 11 | 25 | 0 | 1 |
| checkOutgoingConditionSourceTypes(OutgoingPropagationCondition) | | 25% | | 30% | 4 | 6 | 8 | 15 | 0 | 1 |
| checkTransitionSourceTypes(ErrorBehaviorTransition) | | 25% | | 30% | 4 | 6 | 9 | 16 | 0 | 1 |
| checkTransitionTargetTypes(ErrorBehaviorTransition) | | 66% | | 68% | 6 | 12 | 7 | 27 | 0 | 1 |
| checkCyclicRenames(TypeSet) | | 13% | | 16% | 3 | 4 | 9 | 12 | 0 | 1 |
| checkAssociationAppliesTo(EMV2PropertyAssociation) | | 83% | | 75% | 9 | 23 | 7 | 51 | 0 | 1 |
| checkConditionElementType(ConditionElement) | | 63% | | 62% | 5 | 9 | 4 | 21 | 0 | 1 |
| checkErrorSinkTypes(ErrorSink) | | 48% | | 50% | 4 | 6 | 7 | 15 | 0 | 1 |
| checkBranches(ErrorBehaviorTransition) | | 78% | | 53% | 9 | 14 | 9 | 32 | 0 | 1 |
| checkFlowDirection(ErrorPath) | | 50% | | 75% | 2 | 5 | 4 | 13 | 0 | 1 |
| checkRecoverEventTriggerType(RecoverEvent) | | 29% | | 12% | 4 | 5 | 4 | 7 | 0 | 1 |
| caseErrorModelSubclause(ErrorModelSubclause) | | 78% | | 70% | 2 | 6 | 3 | 24 | 0 | 1 |
| checkDuplicateSubclause(ErrorModelSubclause) | | 45% | | 50% | 2 | 3 | 5 | 12 | 0 | 1 |
| checkOnePropagationAndContainmentPoint(ErrorModelSubclause) | | 75% | | 83% | 2 | 10 | 2 | 12 | 0 | 1 |
| checkFlowDirection(ErrorSink) | | 26% | | 25% | 2 | 3 | 3 | 6 | 0 | 1 |
| checkSubclauseAssociationToClassifier(ErrorModelSubclause) | | 21% | | 25% | 2 | 3 | 3 | 5 | 0 | 1 |
| checkCyclicRenames(ErrorType) | | 62% | | 83% | 1 | 4 | 2 | 12 | 0 | 1 |
| checkTypePropagationAndContainment(ErrorPropagation) | | 60% | | 83% | 1 | 4 | 2 | 11 | 0 | 1 |
| recursiveCheckCyclicExtends(ErrorModelLibrary, HashSet) | | 74% | | 60% | 4 | 6 | 3 | 12 | 0 | 1 |
| checkDirectionType(ErrorPropagation) | | 55% | | 75% | 1 | 3 | 2 | 6 | 0 | 1 |
| checkFlowDirection(ErrorSource) | | 65% | | 62% | 3 | 5 | 2 | 9 | 0 | 1 |
| checkTypeTokenSingleTypeSet(TypeToken) | | 59% | | 75% | 1 | 3 | 1 | 6 | 0 | 1 |
| checkUniqueInheritedDefiningErrorTypes(ErrorModelLibrary, ErrorModelLibrary, HashMap) | | 88% | | 87% | 1 | 5 | 1 | 13 | 0 | 1 |
| caseErrorModelLibrary(ErrorModelLibrary) | | 80% | | 50% | 1 | 2 | 1 | 5 | 0 | 1 |
| checkPropertyAssociation(EMV2PropertyAssociation) | | 95% | | 66% | 2 | 4 | 2 | 11 | 0 | 1 |
| checkCyclicExtends(ErrorModelLibrary) | | 85% | | 50% | 1 | 2 | 1 | 4 | 0 | 1 |
| checkUniqueDefiningIdentifiers(ErrorModelLibrary, boolean) | | 96% | | 75% | 1 | 3 | 1 | 7 | 0 | 1 |
| checkTypeSetUniqueTypes(TypeSet) | | 100% | | 87% | 1 | 5 | 0 | 10 | 0 | 1 |
| checkConditionElementDirection(ConditionElement) | | 100% | | 100% | 0 | 6 | 0 | 15 | 0 | 1 |
| checkTypeTokenUniqueTypes(TypeToken) | | 100% | | 87% | 1 | 5 | 0 | 11 | 0 | 1 |
| checkTypeMappingSet(TypeMappingSet) | | 100% | | 80% | 2 | 6 | 0 | 8 | 0 | 1 |
| checkCyclicExtends(ErrorType) | | 100% | | 100% | 0 | 4 | 0 | 13 | 0 | 1 |
| checkTypeTransformationSet(TypeTransformationSet) | | 100% | | 80% | 2 | 6 | 0 | 7 | 0 | 1 |
| typeCheckDetectionReportingPort(ErrorDetection) | | 100% | | 80% | 2 | 6 | 0 | 8 | 0 | 1 |
| sameRoot(Collection, ErrorType) | | 100% | | 100% | 0 | 3 | 0 | 5 | 0 | 1 |
| isResponsible(Map, EObject) | | 100% | | 83% | 1 | 4 | 0 | 2 | 0 | 1 |
| caseErrorPath(ErrorPath) | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| caseErrorBehaviorTransition(ErrorBehaviorTransition) | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| checkHasConditionOrTypeToken(OutgoingPropagationCondition) | | 100% | | 100% | 0 | 3 | 0 | 4 | 0 | 1 |
| caseOutgoingPropagationCondition(OutgoingPropagationCondition) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| caseErrorPropagation(ErrorPropagation) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| caseErrorType(ErrorType) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| caseTypeSet(TypeSet) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| caseTypeToken(TypeToken) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| caseConditionElement(ConditionElement) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| caseErrorSource(ErrorSource) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| caseErrorSink(ErrorSink) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| caseEMV2PropertyAssociation(EMV2PropertyAssociation) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| casePropagationPoint(PropagationPoint) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| caseTypeTransformationSet(TypeTransformationSet) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| casePropagationPointConnection(PropagationPath) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| caseRecoverEvent(RecoverEvent) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| caseRepairEvent(RecoverEvent) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| caseSConditionElement(SConditionElement) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| caseTypeMappingSet(TypeMappingSet) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| caseErrorBehaviorStateMachine(ErrorBehaviorStateMachine) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| caseTransitionBranch(TransitionBranch) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| caseErrorDetection(ErrorDetection) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| caseConnection(Connection) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| ErrorModelValidator() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |