Package de.rwth.swc.coffee4j.algorithmic.sequential.generator.aetg
-
Class Summary Class Description AetgSat Generator for one test group containing the test inputs generated with theAetgSatAlgorithm
algorithm with the strength given by theCompleteTestModel
.AetgSatAlgorithm 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".AetgSatConfiguration A class combining all information needed to construct a new instance of theAetgSatAlgorithm
algorithm.AetgSatConfiguration.Builder Builder forAetgSatConfiguration
.