| checkRequirementRefinement(Requirement) |   | 20% | | 43% | 6 | 9 | 25 | 37 | 0 | 1 |
| lambda$15(Resource, ComponentClassifier, SystemRequirementSet, Requirement, Goal) | | 22% | | 33% | 9 | 10 | 19 | 31 | 0 | 1 |
| lambda$36(String, EList, Requirement, ComponentClassifier, ComponentClassifier, SystemRequirementSet) | | 10% | | 50% | 1 | 2 | 17 | 21 | 0 | 1 |
| lambda$28(String, EObject) | | 0% | | 0% | 11 | 11 | 25 | 25 | 1 | 1 |
| lambda$30(String, EObject) | | 0% | | 0% | 11 | 11 | 25 | 25 | 1 | 1 |
| lambda$10(StakeholderGoals, Goal) | | 22% | | 50% | 2 | 3 | 10 | 15 | 0 | 1 |
| lambda$12(RequirementSet, Requirement) | | 22% | | 50% | 2 | 3 | 10 | 15 | 0 | 1 |
| checkMultipleSystems(ReqDocument) | | 0% | | 0% | 3 | 3 | 12 | 12 | 1 | 1 |
| lambda$32(String, EObject) | | 27% | | 30% | 10 | 11 | 13 | 22 | 0 | 1 |
| checkMultipleSystems(DocumentSection) | | 0% | | 0% | 3 | 3 | 12 | 12 | 1 | 1 |
| checkStakeholderGoalsUniqueToComponentClassifier(StakeholderGoals) | | 6% | | 0% | 2 | 3 | 11 | 12 | 0 | 1 |
| lambda$16(ArrayList, Goal, Goal, Integer) | | 35% | | 50% | 1 | 2 | 6 | 13 | 0 | 1 |
| lambda$19(ArrayList, Requirement, Requirement, Integer) | | 35% | | 50% | 1 | 2 | 6 | 13 | 0 | 1 |
| lambda$22(Iterable, Goal) | | 0% | | 0% | 3 | 3 | 10 | 10 | 1 | 1 |
| checkWhenCondition(WhenCondition) | | 0% | | 0% | 3 | 3 | 9 | 9 | 1 | 1 |
| lambda$33(EObject) | | 0% | | 0% | 7 | 7 | 14 | 14 | 1 | 1 |
| lambda$34(EObject) | | 0% | | 0% | 7 | 7 | 14 | 14 | 1 | 1 |
| lambda$29(String, EObject) | | 0% | | 0% | 7 | 7 | 14 | 14 | 1 | 1 |
| lambda$31(String, EObject) | | 0% | | 0% | 7 | 7 | 14 | 14 | 1 | 1 |
| lambda$27(String, EObject) | | 30% | | 31% | 8 | 9 | 10 | 18 | 0 | 1 |
| checkSystemRequirementsUniqueToComponentClassifier(SystemRequirementSet) | | 41% | | 50% | 2 | 3 | 6 | 12 | 0 | 1 |
| lambda$18(List, Goal) | | 0% | | n/a | 1 | 1 | 6 | 6 | 1 | 1 |
| lambda$21(List, Requirement) | | 0% | | n/a | 1 | 1 | 6 | 6 | 1 | 1 |
| lambda$26(String, EObject) | | 52% | | 58% | 4 | 7 | 4 | 13 | 0 | 1 |
| fileTypeWarning(String, String, EObject) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| checkFileTypeContents(ReqSpec) | | 72% | | 62% | 3 | 7 | 6 | 21 | 0 | 1 |
| checkCoverage(StakeholderGoals) | | 46% | | 50% | 2 | 3 | 4 | 9 | 0 | 1 |
| lambda$0(BasicEList, EObject) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| lambda$3(BasicEList, EObject) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| checkMissingStakeholder(Goal) | | 31% | | 25% | 2 | 3 | 2 | 4 | 0 | 1 |
| lambda$2(String, String) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| lambda$5(String, String) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| checkRequirementTargetType(Requirement) | | 52% | | 50% | 2 | 3 | 2 | 6 | 0 | 1 |
| checkRecDocSection(DocumentSection) | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| checkGoalDocSection(DocumentSection) | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| checkIncludeGlobalRequirement(IncludeGlobalRequirement) | | 60% | | 50% | 3 | 4 | 2 | 5 | 0 | 1 |
| lambda$37(String, EList, Requirement) | | 50% | | 16% | 3 | 4 | 0 | 1 | 0 | 1 |
| lambda$23(Goal, SystemRequirementSet) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| lambda$24(Goal, Requirement) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| lambda$25(Goal, Goal) | | 0% | | 0% | 2 | 2 | 1 | 1 | 1 | 1 |
| lambda$17(List, Goal) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| lambda$20(List, Requirement) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| checkFeatureCoverage(SystemRequirementSet) | | 94% | | 50% | 4 | 5 | 1 | 15 | 0 | 1 |
| lambda$1(Classifier) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| lambda$4(Classifier) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| checkGoalForCycles(Goal, List) | | 95% | | 50% | 2 | 3 | 0 | 6 | 0 | 1 |
| checkRequirementForCycles(Requirement, List) | | 95% | | 50% | 2 | 3 | 0 | 6 | 0 | 1 |
| checkRequirementShadowing(Requirement) | | 100% | | 100% | 0 | 2 | 0 | 10 | 0 | 1 |
| buildExtended(ComponentClassifier, List) | | 100% | | 83% | 1 | 4 | 0 | 9 | 0 | 1 |
| lambda$6(SystemRequirementSet, BasicEList, Feature) | | 100% | | 100% | 0 | 3 | 0 | 6 | 0 | 1 |
| checkSpecGoalTargetConsistency(SystemRequirementSet) | | 100% | | n/a | 0 | 1 | 0 | 6 | 0 | 1 |
| checkGoalForCycles(Goal) | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| checkRequirementForCycles(Requirement) | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| checkMissingGoal(Requirement) | | 100% | | 100% | 0 | 3 | 0 | 4 | 0 | 1 |
| lambda$35(String, EList, Requirement, ComponentClassifier, ComponentClassifier) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| lambda$14(Resource, ComponentClassifier, SystemRequirementSet, Requirement) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| lambda$9(String, String) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$11(Goal, Goal) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| lambda$13(Requirement, Requirement) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| checkDuplicateGoal(StakeholderGoals) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| checkDuplicateRequirement(RequirementSet) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| lambda$7(Feature, Requirement) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| ReqSpecValidator() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$8(NamedElement) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |