Package de.rwth.swc.coffee4j.algorithmic.sequential.generator.aetg.advanced
-
Class Summary Class Description AdvancedAetgSat Generator for one test group containing the test inputs generated with theAetgSatAlgorithm
algorithm with the strength given by theCompleteTestModel
.AdvancedAetgSatAlgorithm Implementation of the AETGSat variant of the AETG algorithm from "Constructing Interaction Test Suites for Highly-Configurable Systems in the Presence of Constraints: A Greedy Approach".