Package de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration

Interface Summary

Interface	Description
CounterexampleTrace

Class Summary

Class	Description
CounterexampleContractCollection
CounterexampleContractGenerator
CounterexampleGenerator
CounterexampleGenerator.Builder
CounterexampleMethodExecutor
CounterexampleStateSpace	A dedicated state space for counterexample generation that only stores the initial state and resulting final states.
NoSuccessorFinalStateStrategy
StateSubsumptionStrategy
TargetBasedStateExplorationStrategy
TraceBasedFinalStateStrategy
TraceBasedStateExplorationStrategy