public static TestSuite generateTests(TCGActivity tcgActivity,
EMap<Path, Witness> paths) {
TestsFactory factory = TestsFactory.eINSTANCE;
TestSuite result = factory.createTestSuite();
SUT sut = factory.createSUT();
sut.setName(tcgActivity.getClassName());
sut.setPackageName(tcgActivity.getPackageName());
result.getSut().add(sut);
// Create one Testcase per Path
for (Entry<Path,Witness> p : paths.entrySet()) {
// Read Values from Solver and store in Model