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 the AetgSatAlgorithm algorithm with the strength given by the CompleteTestModel.
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 the AetgSatAlgorithm algorithm.
AetgSatConfiguration.Builder	Builder for AetgSatConfiguration.