// Perform Transformations on Activity Test Case Graph
ActTCGContinuityHelper.addContinuityConstraints(tcgActivity);
monitor.worked(1);
// create PathData
SatisfiablePathSearch search = new SolverDFS();
search.setProperties(properties);
EMap<Path, Witness> paths = search.findAllSatisfiablePaths(
tcgActivity, monitor);
properties = search.getProperties();
// create UnitTests Model with specific data
TestSuite suite = TestsGeneratorHelper.generateTests(
tcgActivity, paths);
monitor.worked(1);