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