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

Interfaces

• CounterexampleTrace

Classes

• CounterexampleContractCollection
• CounterexampleContractGenerator
• CounterexampleGenerator
• CounterexampleGenerator.Builder
• CounterexampleMethodExecutor
• CounterexampleStateSpace
• NoSuccessorFinalStateStrategy
• StateSubsumptionStrategy
• TargetBasedStateExplorationStrategy
• TraceBasedFinalStateStrategy
• TraceBasedStateExplorationStrategy