From d4269cf04a20c95ba704b739ce9e882268aa2d2b Mon Sep 17 00:00:00 2001
From: uuqjz <nils.niehues@kit.edu>
Date: Wed, 16 Sep 2026 12:12:10 +0200
Subject: [PATCH 1/5] Symmetric difference calculator

---
 .../mitigation/sat/ModelCostCalculator.java   |  69 ++++--
 .../mitigation/evaluation/tests/TestBase.java |  26 ++-
 .../testresults/tuhh_efficiency_results.json  | 205 ++++++++++++++++++
 3 files changed, 280 insertions(+), 20 deletions(-)
 create mode 100644 tests/dev.arcovia.mitigation.evaluation.tests/testresults/tuhh_efficiency_results.json

diff --git a/bundles/dev.arcovia.mitigation.sat/src/dev/arcovia/mitigation/sat/ModelCostCalculator.java b/bundles/dev.arcovia.mitigation.sat/src/dev/arcovia/mitigation/sat/ModelCostCalculator.java
index ca26da2c..799f31a9 100644
--- a/bundles/dev.arcovia.mitigation.sat/src/dev/arcovia/mitigation/sat/ModelCostCalculator.java
+++ b/bundles/dev.arcovia.mitigation.sat/src/dev/arcovia/mitigation/sat/ModelCostCalculator.java
@@ -72,42 +72,51 @@ public int calculateCost() {
 
         return cost;
     }
-    public int calculateCostWithoutForwarding() {
+
+    public void changedLabelsWithoutForwarding() {
         determineRelevantLabels();
         for (var label : allRelevantLabels.keySet()) {
             for (var vertex : nodes) {
                 if (vertex.hasVertexLabel(label))
                     allRelevantLabels.get(label)
                             .add("Vertex: " + vertex.name);
-                
+
                 var assignments = vertex.getAssignments();
-                
+
                 for (var assignment : assignments) {
-                    
+
                     List<org.dataflowanalysis.dfd.datadictionary.Label> assignmentLabel = null;
-                    
+
                     if (assignment instanceof Assignment cast) {
                         assignmentLabel = cast.getOutputLabels();
-                                
-                    }
-                    else if (assignment instanceof SetAssignment cast) {
+
+                    } else if (assignment instanceof SetAssignment cast) {
                         assignmentLabel = cast.getOutputLabels();
                     }
-                    if (assignmentLabel == null) continue;
-                    
+                    if (assignmentLabel == null)
+                        continue;
+
                     for (var l : assignmentLabel) {
                         LabelTypeImpl labelType = (LabelTypeImpl) l.eContainer();
-                        
-                        var tempLabel = new Label(labelType.getEntityName(),l.getEntityName());
-                        
-                        if (tempLabel.toString().equals(label.toString())) {
+
+                        var tempLabel = new Label(labelType.getEntityName(), l.getEntityName());
+
+                        if (tempLabel.toString()
+                                .equals(label.toString())) {
                             Pin outpin = assignment.getOutputPin();
                             allRelevantLabels.get(label)
-                            .add("Outgoing: " + outpin.getId() + " from: " + vertex.name);
+                                    .add("Outgoing: " + outpin.getId() + " from: " + vertex.name);
                         }
                     }
                 }
             }
+        }
+    }
+
+    public int calculateCostWithoutForwarding() {
+        changedLabelsWithoutForwarding();
+
+        for (var label : allRelevantLabels.keySet()) {
             cost += allRelevantLabels.get(label)
                     .size() * costs.get(label);
         }
@@ -115,6 +124,36 @@ else if (assignment instanceof SetAssignment cast) {
         return cost;
     }
 
+    public int calculateSymmetricDifferenceCost(ModelCostCalculator referenceCalculator) {
+
+        changedLabelsWithoutForwarding();
+        referenceCalculator.changedLabelsWithoutForwarding();
+
+        Set<Label> mergedRelevantLabels = new HashSet<>();
+        mergedRelevantLabels.addAll(allRelevantLabels.keySet());
+        mergedRelevantLabels.addAll(referenceCalculator.allRelevantLabels.keySet());
+
+        int changeCost = 0;
+
+        for (var label : mergedRelevantLabels) {
+            Set<String> currentPlacements = allRelevantLabels.getOrDefault(label, Set.of());
+
+            Set<String> referencePlacements = referenceCalculator.allRelevantLabels.getOrDefault(label, Set.of());
+
+            Set<String> addedPlacements = new HashSet<>(currentPlacements);
+            addedPlacements.removeAll(referencePlacements);
+
+            Set<String> removedPlacements = new HashSet<>(referencePlacements);
+            removedPlacements.removeAll(currentPlacements);
+
+            int labelCost = costs.get(label);
+
+            changeCost += (addedPlacements.size() + removedPlacements.size()) * labelCost;
+        }
+
+        return changeCost;
+    }
+
     private void pushLabel(Label label, Pin sourcePin) {
         var destinationPin = sourcePinToDestinationPin.get(sourcePin);
         var destinationNode = inPinToVertex.get(destinationPin);
diff --git a/tests/dev.arcovia.mitigation.evaluation.tests/src/dev/arcovia/mitigation/evaluation/tests/TestBase.java b/tests/dev.arcovia.mitigation.evaluation.tests/src/dev/arcovia/mitigation/evaluation/tests/TestBase.java
index d80490f9..6808d00f 100644
--- a/tests/dev.arcovia.mitigation.evaluation.tests/src/dev/arcovia/mitigation/evaluation/tests/TestBase.java
+++ b/tests/dev.arcovia.mitigation.evaluation.tests/src/dev/arcovia/mitigation/evaluation/tests/TestBase.java
@@ -82,6 +82,7 @@ static Stream<Arguments> tuhhModelProvider() {
 				.flatMap(entity -> entity.getValue().stream().map(model -> Arguments.of(entity.getKey(), model)));
 	}
 
+	@Disabled
 	@ParameterizedTest
 	@MethodSource("tuhhModelProvider")
 	void evaluateEffectiveness(String model, int variant) throws Exception {	
@@ -153,8 +154,7 @@ void evaluateCost(String model, int variant) throws Exception {
             satConstraint.add(c);
         }
 		
-		int baseCost = new ModelCostCalculator(dfd, satConstraint, minCosts)
-                .calculateCostWithoutForwarding();
+		var baseCostCalculator = new ModelCostCalculator(loadDFD(model, name), satConstraint, minCosts);
 
 		MitigationApproach approach = getApproach(dfd, constraints);
         
@@ -166,10 +166,9 @@ void evaluateCost(String model, int variant) throws Exception {
 
         assertEquals(0, violationsAfter);
 
-		int repairedCost = new ModelCostCalculator(repairedDFD, satConstraint, minCosts)
-				.calculateCostWithoutForwarding();
+		var repairedCostCalculator = new ModelCostCalculator(repairedDFD, satConstraint, minCosts);
 		
-		int approachCost = repairedCost - baseCost;
+		int approachCost = repairedCostCalculator.calculateSymmetricDifferenceCost(baseCostCalculator);
 
 		ObjectMapper mapper = new ObjectMapper();
 		Path out = Path.of("testresults/" + getApproachName().toLowerCase() + "_efficiency_results.json");
@@ -181,6 +180,23 @@ void evaluateCost(String model, int variant) throws Exception {
 
 		existing.add(new CostResult(model, variant, approachCost));
 		mapper.writerWithDefaultPrettyPrinter().writeValue(out.toFile(), existing);
+		
+		if(getApproachName().equals("SAT")) {
+		    var tuhhBaseCostCalculator = new ModelCostCalculator(loadDFD(model, name), satConstraint, minCosts);
+		    var tuhhRepairedCostCalculator = new ModelCostCalculator(loadDFD(model, model + "_" + variant), satConstraint, minCosts);
+		    var tuhhCost = tuhhRepairedCostCalculator.calculateSymmetricDifferenceCost(tuhhBaseCostCalculator);
+		    
+		    mapper = new ObjectMapper();
+	        out = Path.of("testresults/tuhh_efficiency_results.json");
+
+	        existing = Files.exists(out)
+	                ? mapper.readValue(out.toFile(), new TypeReference<List<CostResult>>() {
+	                })
+	                : new ArrayList<>();
+
+	        existing.add(new CostResult(model, variant, tuhhCost));
+	        mapper.writerWithDefaultPrettyPrinter().writeValue(out.toFile(), existing);
+        }
 
 	}
 	
diff --git a/tests/dev.arcovia.mitigation.evaluation.tests/testresults/tuhh_efficiency_results.json b/tests/dev.arcovia.mitigation.evaluation.tests/testresults/tuhh_efficiency_results.json
new file mode 100644
index 00000000..0811af2d
--- /dev/null
+++ b/tests/dev.arcovia.mitigation.evaluation.tests/testresults/tuhh_efficiency_results.json
@@ -0,0 +1,205 @@
+[ {
+  "model" : "ewolff-kafka",
+  "variant" : 4,
+  "approachCost" : 5
+}, {
+  "model" : "ewolff-kafka",
+  "variant" : 5,
+  "approachCost" : 14
+}, {
+  "model" : "ewolff-kafka",
+  "variant" : 7,
+  "approachCost" : 7
+}, {
+  "model" : "ewolff-kafka",
+  "variant" : 8,
+  "approachCost" : 10
+}, {
+  "model" : "anilallewar",
+  "variant" : 7,
+  "approachCost" : 10
+}, {
+  "model" : "anilallewar",
+  "variant" : 8,
+  "approachCost" : 26
+}, {
+  "model" : "anilallewar",
+  "variant" : 11,
+  "approachCost" : 29
+}, {
+  "model" : "mudigal-technologies",
+  "variant" : 2,
+  "approachCost" : 32
+}, {
+  "model" : "mudigal-technologies",
+  "variant" : 4,
+  "approachCost" : 4
+}, {
+  "model" : "mudigal-technologies",
+  "variant" : 5,
+  "approachCost" : 53
+}, {
+  "model" : "mudigal-technologies",
+  "variant" : 7,
+  "approachCost" : 6
+}, {
+  "model" : "mudigal-technologies",
+  "variant" : 8,
+  "approachCost" : 32
+}, {
+  "model" : "mudigal-technologies",
+  "variant" : 11,
+  "approachCost" : 56
+}, {
+  "model" : "yidongnan",
+  "variant" : 2,
+  "approachCost" : 27
+}, {
+  "model" : "yidongnan",
+  "variant" : 4,
+  "approachCost" : 6
+}, {
+  "model" : "yidongnan",
+  "variant" : 5,
+  "approachCost" : 37
+}, {
+  "model" : "yidongnan",
+  "variant" : 7,
+  "approachCost" : 11
+}, {
+  "model" : "yidongnan",
+  "variant" : 8,
+  "approachCost" : 27
+}, {
+  "model" : "koushikkothagal",
+  "variant" : 1,
+  "approachCost" : 0
+}, {
+  "model" : "koushikkothagal",
+  "variant" : 2,
+  "approachCost" : 5
+}, {
+  "model" : "koushikkothagal",
+  "variant" : 4,
+  "approachCost" : 0
+}, {
+  "model" : "koushikkothagal",
+  "variant" : 5,
+  "approachCost" : 9
+}, {
+  "model" : "koushikkothagal",
+  "variant" : 7,
+  "approachCost" : 1
+}, {
+  "model" : "koushikkothagal",
+  "variant" : 8,
+  "approachCost" : 5
+}, {
+  "model" : "koushikkothagal",
+  "variant" : 10,
+  "approachCost" : 13
+}, {
+  "model" : "koushikkothagal",
+  "variant" : 11,
+  "approachCost" : 26
+}, {
+  "model" : "spring-petclinic",
+  "variant" : 2,
+  "approachCost" : 25
+}, {
+  "model" : "spring-petclinic",
+  "variant" : 5,
+  "approachCost" : 36
+}, {
+  "model" : "spring-petclinic",
+  "variant" : 7,
+  "approachCost" : 12
+}, {
+  "model" : "spring-petclinic",
+  "variant" : 8,
+  "approachCost" : 25
+}, {
+  "model" : "callistaenterprise",
+  "variant" : 2,
+  "approachCost" : 29
+}, {
+  "model" : "callistaenterprise",
+  "variant" : 11,
+  "approachCost" : 51
+}, {
+  "model" : "jferrater",
+  "variant" : 2,
+  "approachCost" : 14
+}, {
+  "model" : "jferrater",
+  "variant" : 5,
+  "approachCost" : 23
+}, {
+  "model" : "jferrater",
+  "variant" : 7,
+  "approachCost" : 1
+}, {
+  "model" : "jferrater",
+  "variant" : 8,
+  "approachCost" : 15
+}, {
+  "model" : "apssouza22",
+  "variant" : 2,
+  "approachCost" : 33
+}, {
+  "model" : "apssouza22",
+  "variant" : 4,
+  "approachCost" : 3
+}, {
+  "model" : "apssouza22",
+  "variant" : 7,
+  "approachCost" : 13
+}, {
+  "model" : "apssouza22",
+  "variant" : 8,
+  "approachCost" : 23
+}, {
+  "model" : "sqshq",
+  "variant" : 7,
+  "approachCost" : 9
+}, {
+  "model" : "sqshq",
+  "variant" : 8,
+  "approachCost" : 33
+}, {
+  "model" : "sqshq",
+  "variant" : 10,
+  "approachCost" : 56
+}, {
+  "model" : "sqshq",
+  "variant" : 11,
+  "approachCost" : 106
+}, {
+  "model" : "georgwittberger",
+  "variant" : 2,
+  "approachCost" : 4
+}, {
+  "model" : "georgwittberger",
+  "variant" : 4,
+  "approachCost" : 5
+}, {
+  "model" : "georgwittberger",
+  "variant" : 5,
+  "approachCost" : 9
+}, {
+  "model" : "georgwittberger",
+  "variant" : 7,
+  "approachCost" : 7
+}, {
+  "model" : "georgwittberger",
+  "variant" : 8,
+  "approachCost" : 4
+}, {
+  "model" : "georgwittberger",
+  "variant" : 10,
+  "approachCost" : 13
+}, {
+  "model" : "georgwittberger",
+  "variant" : 11,
+  "approachCost" : 26
+} ]
\ No newline at end of file

From 465c04396c715d7313b6859c1c37d74e37a7d7ec Mon Sep 17 00:00:00 2001
From: uuqjz <nils.niehues@kit.edu>
Date: Fri, 18 Sep 2026 09:16:01 +0200
Subject: [PATCH 2/5] Enable test

---
 .../src/dev/arcovia/mitigation/evaluation/tests/TestBase.java    | 1 -
 1 file changed, 1 deletion(-)

diff --git a/tests/dev.arcovia.mitigation.evaluation.tests/src/dev/arcovia/mitigation/evaluation/tests/TestBase.java b/tests/dev.arcovia.mitigation.evaluation.tests/src/dev/arcovia/mitigation/evaluation/tests/TestBase.java
index 6808d00f..7bfee360 100644
--- a/tests/dev.arcovia.mitigation.evaluation.tests/src/dev/arcovia/mitigation/evaluation/tests/TestBase.java
+++ b/tests/dev.arcovia.mitigation.evaluation.tests/src/dev/arcovia/mitigation/evaluation/tests/TestBase.java
@@ -82,7 +82,6 @@ static Stream<Arguments> tuhhModelProvider() {
 				.flatMap(entity -> entity.getValue().stream().map(model -> Arguments.of(entity.getKey(), model)));
 	}
 
-	@Disabled
 	@ParameterizedTest
 	@MethodSource("tuhhModelProvider")
 	void evaluateEffectiveness(String model, int variant) throws Exception {	

From 1b4697fdd5b40e2a9655b7cd4e5b7f1e7121e281 Mon Sep 17 00:00:00 2001
From: uuqjz <nils.niehues@kit.edu>
Date: Mon, 21 Sep 2026 16:40:35 +0200
Subject: [PATCH 3/5] Adapt workflow for mdsd

---
 ...ation.targetplatform.targetplatform.target | 40 +++++++++----------
 1 file changed, 20 insertions(+), 20 deletions(-)

diff --git a/releng/dev.arcovia.mitigation.targetplatform/dev.arcovia.mitigation.targetplatform.targetplatform.target b/releng/dev.arcovia.mitigation.targetplatform/dev.arcovia.mitigation.targetplatform.targetplatform.target
index 7a9c857a..0419b7b0 100644
--- a/releng/dev.arcovia.mitigation.targetplatform/dev.arcovia.mitigation.targetplatform.targetplatform.target
+++ b/releng/dev.arcovia.mitigation.targetplatform/dev.arcovia.mitigation.targetplatform.targetplatform.target
@@ -3,55 +3,55 @@
 <target name="Target Platform" sequenceNumber="1">
 	<locations>
 		<location includeAllPlatforms="false" includeConfigurePhase="true" includeMode="planner" includeSource="false" type="InstallableUnit">
-			<unit id="de.uka.ipd.sdq.identifier.feature.feature.group" version="0.0.0"/>
-			<unit id="org.palladiosimulator.commons.stoex.sdk.feature.group" version="0.0.0"/>
-			<repository location="https://updatesite.palladio-simulator.com/palladio-core-commons/nightly/"/>
+			<unit id="de.uka.ipd.sdq.identifier.feature.feature.group" version="5.2.2"/>
+			<unit id="org.palladiosimulator.commons.stoex.sdk.feature.group" version="5.2.2"/>
+			<repository location="https://updatesite.palladio-simulator.com/palladio-core-commons/releases/5.2.2/"/>
 		</location>
 		<location includeAllPlatforms="false" includeConfigurePhase="true" includeMode="planner" includeSource="false" type="InstallableUnit">
-			<unit id="org.palladiosimulator.pcm.feature.feature.group" version="0.0.0"/>
-			<repository location="https://updatesite.palladio-simulator.com/palladio-core-pcm/nightly/"/>
+			<unit id="org.palladiosimulator.pcm.feature.feature.group" version="5.2.2"/>
+			<repository location="https://updatesite.palladio-simulator.com/palladio-core-pcm/releases/5.2.2/"/>
 		</location>
 		<location includeAllPlatforms="false" includeConfigurePhase="true" includeMode="planner" includeSource="false" type="InstallableUnit">
-			<unit id="org.palladiosimulator.pcm.edit" version="0.0.0"/>
-			<repository location="https://updatesite.palladio-simulator.com/palladio-editors-commons/nightly/"/>
+			<unit id="org.palladiosimulator.pcm.edit" version="5.2.2"/>
+			<repository location="https://updatesite.palladio-simulator.com/palladio-editors-commons/releases/5.2.2/"/>
 		</location>
 		<location includeAllPlatforms="false" includeConfigurePhase="true" includeMode="planner" includeSource="false" type="InstallableUnit">
-			<unit id="de.uka.ipd.sdq.workflow.feature.core.feature.group" version="0.0.0"/>
-			<repository location="https://updatesite.palladio-simulator.com/palladio-supporting-workflowengine/nightly/"/>
+			<unit id="de.uka.ipd.sdq.workflow.feature.core.feature.group" version="5.2.2"/>
+			<repository location="https://updatesite.palladio-simulator.com/palladio-supporting-workflowengine/releases/5.2.2/"/>
 		</location>
 		<location includeAllPlatforms="false" includeConfigurePhase="true" includeMode="planner" includeSource="false" type="InstallableUnit">
 			<unit id="tools.mdsd.library.emfeditutils.feature.feature.group" version="0.0.0"/>
-			<repository location="https://updatesite.mdsd.tools/library-emfeditutils/nightly/"/>
+			<repository location="https://updatesite.mdsd.tools/library-emfeditutils/releases/1.0.0/"/>
 		</location>
 		<location includeAllPlatforms="false" includeConfigurePhase="true" includeMode="planner" includeSource="false" type="InstallableUnit">
 			<unit id="tools.mdsd.library.standalone.initialization.log4j" version="0.0.0"/>
 			<unit id="tools.mdsd.library.standalone.initialization.emfprofiles" version="0.0.0"/>
 			<unit id="tools.mdsd.library.standalone.initialization" version="0.0.0"/>
-			<repository location="https://updatesite.mdsd.tools/library-standaloneinitialization/nightly/"/>
+			<repository location="https://updatesite.mdsd.tools/library-standaloneinitialization/releases/1.0.0/"/>
 		</location>
 		<location includeAllPlatforms="false" includeConfigurePhase="true" includeMode="planner" includeSource="false" type="InstallableUnit">
 			<unit id="tools.mdsd.license.epl2.feature.group" version="0.0.0"/>
-			<repository location="https://updatesite.mdsd.tools/build-licensefeature/releases/latest/"/>
+			<repository location="https://updatesite.mdsd.tools/build-licensefeature/releases/1.0.0/"/>
 		</location>
 		<location includeAllPlatforms="false" includeConfigurePhase="true" includeMode="planner" includeSource="false" type="InstallableUnit">
-			<unit id="org.modelversioning.emfprofile.registry" version="0.0.0"/>
-			<repository location="https://updatesite.palladio-simulator.com/palladio-thirdparty-emfprofiles/nightly/"/>
+			<unit id="org.modelversioning.emfprofile.registry" version="5.2.2"/>
+			<repository location="https://updatesite.palladio-simulator.com/palladio-thirdparty-emfprofiles/releases/5.2.2/"/>
 		</location>
 		<location includeAllPlatforms="false" includeConfigurePhase="true" includeMode="planner" includeSource="false" type="InstallableUnit">
 			<unit id="tools.mdsd.modelingfoundations.identifier.feature.feature.group" version="0.0.0"/>
 			<unit id="tools.mdsd.modelingfoundations.identifier.ui.feature.feature.group" version="0.0.0"/>
-			<repository location="https://updatesite.mdsd.tools/metamodel-modeling-foundations/nightly/"/>
+			<repository location="https://updatesite.mdsd.tools/metamodel-modeling-foundations/releases/1.0.0/"/>
 		</location>
 		<location includeAllPlatforms="false" includeConfigurePhase="true" includeMode="planner" includeSource="false" type="InstallableUnit">
 			<unit id="org.dataflowanalysis.pcm.extension.dictionary.characterized" version="0.0.0"/>
 			<unit id="org.dataflowanalysis.pcm.extension.dddsl" version="0.0.0"/>
 			<unit id="org.dataflowanalysis.pcm.extension.model" version="0.0.0"/>
 			<unit id="org.dataflowanalysis.pcm.extension.nodecharacteristics" version="0.0.0"/>
-			<repository location="https://dataflowanalysis.github.io/updatesite/release/pcm-dataflowanalysis-extension/v5.2.1/"/>
+			<repository location="https://dataflowanalysis.github.io/updatesite/release/pcm-dataflowanalysis-extension/v5.2.2/"/>
 		</location>
 		<location includeAllPlatforms="false" includeConfigurePhase="true" includeMode="planner" includeSource="false" type="InstallableUnit">
-			<unit id="org.palladiosimulator.mdsdprofiles.api" version="0.0.0"/>
-			<repository location="https://updatesite.palladio-simulator.com/palladio-supporting-mdsdprofiles/nightly/"/>
+			<unit id="org.palladiosimulator.mdsdprofiles.api" version="5.2.2"/>
+			<repository location="https://updatesite.palladio-simulator.com/palladio-supporting-mdsdprofiles/releases/5.2.2/"/>
 		</location>
 		<location includeAllPlatforms="false" includeConfigurePhase="true" includeMode="planner" includeSource="false" type="InstallableUnit">
 			<unit id="org.hamcrest.library" version="0.0.0"/>
@@ -113,7 +113,7 @@
 </location>
 
 <location includeAllPlatforms="false" includeConfigurePhase="true" includeMode="planner" includeSource="false" type="InstallableUnit">
-<repository location="https://updatesite.mdsd.tools/ecore-workflow/releases/latest/"/>
+<repository location="https://updatesite.mdsd.tools/ecore-workflow/releases/1.0.0/"/>
 <unit id="tools.mdsd.ecoreworkflow.mwe2lib.feature.feature.group" version="0.0.0"/>
 </location>  
 <location includeAllPlatforms="false" includeConfigurePhase="true" includeMode="planner" includeSource="false" type="InstallableUnit">
@@ -128,7 +128,7 @@
 <unit id="org.palladiosimulator.branding.feature.feature.group" version="2.0.0"/>
 <unit id="org.palladiosimulator.license.feature.group" version="1.0.0"/>
 <unit id="org.palladiosimulator.license.epl2.feature.group" version="1.0.0"/>
-<repository location="https://updatesite.palladio-simulator.com/palladio-supporting-branding/nightly/"/>
+<repository location="https://updatesite.palladio-simulator.com/palladio-supporting-branding/releases/5.2.2/"/>
     </location>
 
 <location includeAllPlatforms="false" includeConfigurePhase="true" includeMode="planner" includeSource="false" type="InstallableUnit">

From 942e1566ea60197f63f9d2342dd82733488d7c55 Mon Sep 17 00:00:00 2001
From: uuqjz <nils.niehues@kit.edu>
Date: Mon, 21 Sep 2026 17:14:50 +0200
Subject: [PATCH 4/5] Fix execption when saving to nonexisting directory

---
 .gitignore                                                    | 4 ++--
 .../{efficencyTest => efficiencyTest}/.gitkeep                | 0
 .../dev.arcovia.mitigation.sat.tests/efficiencyTest/.gitkeep  | 0
 .../src/dev/arcovia/mitigation/sat/tests/TUHHTest.java        | 2 +-
 4 files changed, 3 insertions(+), 3 deletions(-)
 rename tests/dev.arcovia.mitigation.ilp.tests/{efficencyTest => efficiencyTest}/.gitkeep (100%)
 create mode 100644 tests/dev.arcovia.mitigation.sat.tests/efficiencyTest/.gitkeep

diff --git a/.gitignore b/.gitignore
index 4d7938cd..5ca82659 100644
--- a/.gitignore
+++ b/.gitignore
@@ -72,8 +72,8 @@ xtend-gen/
 *.iml
 
 tests/dev.arcovia.mitigation.sat.tests/testresults/*.json
-tests/dev.arcovia.mitigation.sat.tests/efficencyTest/*.json
-tests/dev.arcovia.mitigation.ilp.tests/efficencyTest/*.json
+tests/dev.arcovia.mitigation.sat.tests/efficiencyTest/*.json
+tests/dev.arcovia.mitigation.ilp.tests/efficiencyTest/*.json
 !*literalMapping.json
 *.lp
 tests/dev.arcovia.mitigation.ilp.tests/models/temp-repaired.json
diff --git a/tests/dev.arcovia.mitigation.ilp.tests/efficencyTest/.gitkeep b/tests/dev.arcovia.mitigation.ilp.tests/efficiencyTest/.gitkeep
similarity index 100%
rename from tests/dev.arcovia.mitigation.ilp.tests/efficencyTest/.gitkeep
rename to tests/dev.arcovia.mitigation.ilp.tests/efficiencyTest/.gitkeep
diff --git a/tests/dev.arcovia.mitigation.sat.tests/efficiencyTest/.gitkeep b/tests/dev.arcovia.mitigation.sat.tests/efficiencyTest/.gitkeep
new file mode 100644
index 00000000..e69de29b
diff --git a/tests/dev.arcovia.mitigation.sat.tests/src/dev/arcovia/mitigation/sat/tests/TUHHTest.java b/tests/dev.arcovia.mitigation.sat.tests/src/dev/arcovia/mitigation/sat/tests/TUHHTest.java
index 7476384b..352f56be 100644
--- a/tests/dev.arcovia.mitigation.sat.tests/src/dev/arcovia/mitigation/sat/tests/TUHHTest.java
+++ b/tests/dev.arcovia.mitigation.sat.tests/src/dev/arcovia/mitigation/sat/tests/TUHHTest.java
@@ -221,7 +221,7 @@ void efficiencyTest() throws ContradictionException, TimeoutException, IOExcepti
                 var repairedDfd = repairResult.repairedDfd();
                 var dfdConverter = new DFD2WebConverter();
                 dfdConverter.convert(repairedDfd)
-                        .save("efficencyTest/", model + "_" + variant + "-repaired.json");
+                        .save("efficiencyTest/", model + "_" + variant + "-repaired.json");
                 var satCost = new ModelCostCalculator(repairedDfd, constraint, minCosts).calculateCost();
                 var tuhhCost = new ModelCostCalculator(loadDFD(model, model + "_" + variant), constraint, minCosts).calculateCost();
 

From b38b42d2c1fba335f77be0ff4deb015f233be500 Mon Sep 17 00:00:00 2001
From: uuqjz <nils.niehues@kit.edu>
Date: Mon, 21 Sep 2026 17:16:37 +0200
Subject: [PATCH 5/5] Missing i

---
 .../src/dev/arcovia/mitigation/ilp/tests/TUHH_Test.java         | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/dev.arcovia.mitigation.ilp.tests/src/dev/arcovia/mitigation/ilp/tests/TUHH_Test.java b/tests/dev.arcovia.mitigation.ilp.tests/src/dev/arcovia/mitigation/ilp/tests/TUHH_Test.java
index 48c23c3d..c42d654f 100644
--- a/tests/dev.arcovia.mitigation.ilp.tests/src/dev/arcovia/mitigation/ilp/tests/TUHH_Test.java
+++ b/tests/dev.arcovia.mitigation.ilp.tests/src/dev/arcovia/mitigation/ilp/tests/TUHH_Test.java
@@ -189,7 +189,7 @@ public void efficiencyTest() throws Exception {
 
                 var dfdConverter = new DFD2WebConverter();
                 dfdConverter.convert(repairedDfd)
-                        .save("efficencyTest/", model + "_" + variant + "-repaired.json");
+                        .save("efficiencyTest/", model + "_" + variant + "-repaired.json");
 
                 List<dev.arcovia.mitigation.sat.Constraint> satConstraint = new ArrayList<>();
                 for (var cons : constraint) {