AbstractBFInclusionOracle<A extends DetOutputAutomaton<?,I,?,D>,I,D> |
|
AbstractTestWordEQOracle<A extends Output<I,D>,I,D> |
|
CExFirstOracle<A extends Output<I,D>,I,D> |
The strategy of this black-box oracle is to first try out a property, to see if it can be disproved.
|
CompleteExplorationEQOracle<A extends Output<I,D>,I,D> |
Implements an equivalence check by complete exploration up to a given depth, i.e., by testing all possible sequences
of a certain length within a specified range.
|
DFABFInclusionOracle<I> |
This is an auto-generated refinement.
|
DFACExFirstOracle<I> |
This is an auto-generated refinement.
|
DFACompleteExplorationEQOracle<I> |
This is an auto-generated refinement.
|
DFADisproveFirstOracle<I> |
This is an auto-generated refinement.
|
DFAEQOracleChain<I> |
This is an auto-generated refinement.
|
DFAIncrementalWMethodEQOracle<I> |
This is an auto-generated refinement.
|
DFARandomWMethodEQOracle<I> |
This is an auto-generated refinement.
|
DFARandomWordsEQOracle<I> |
This is an auto-generated refinement.
|
DFARandomWpMethodEQOracle<I> |
This is an auto-generated refinement.
|
DFASimulatorEQOracle<I> |
This is an auto-generated refinement.
|
DFAWMethodEQOracle<I> |
This is an auto-generated refinement.
|
DFAWpMethodEQOracle<I> |
This is an auto-generated refinement.
|
DisproveFirstOracle<A extends Output<I,D>,I,D> |
The strategy of this black-box oracle is to first try to disprove all properties before finding a counter example to
the given hypothesis.
|
EQOracleChain<A,I,D> |
|
IncrementalWMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,I,D> |
|
MealyBFInclusionOracle<I,O> |
This is an auto-generated refinement.
|
MealyCExFirstOracle<I,O> |
This is an auto-generated refinement.
|
MealyCompleteExplorationEQOracle<I,O> |
This is an auto-generated refinement.
|
MealyDisproveFirstOracle<I,O> |
This is an auto-generated refinement.
|
MealyEQOracleChain<I,O> |
This is an auto-generated refinement.
|
MealyIncrementalWMethodEQOracle<I,O> |
This is an auto-generated refinement.
|
MealyRandomWMethodEQOracle<I,O> |
This is an auto-generated refinement.
|
MealyRandomWordsEQOracle<I,O> |
This is an auto-generated refinement.
|
MealyRandomWpMethodEQOracle<I,O> |
This is an auto-generated refinement.
|
MealySimulatorEQOracle<I,O> |
This is an auto-generated refinement.
|
MealyWMethodEQOracle<I,O> |
This is an auto-generated refinement.
|
MealyWpMethodEQOracle<I,O> |
This is an auto-generated refinement.
|
MooreCompleteExplorationEQOracle<I,O> |
This is an auto-generated refinement.
|
MooreEQOracleChain<I,O> |
This is an auto-generated refinement.
|
MooreIncrementalWMethodEQOracle<I,O> |
This is an auto-generated refinement.
|
MooreRandomWMethodEQOracle<I,O> |
This is an auto-generated refinement.
|
MooreRandomWordsEQOracle<I,O> |
This is an auto-generated refinement.
|
MooreRandomWpMethodEQOracle<I,O> |
This is an auto-generated refinement.
|
MooreSimulatorEQOracle<I,O> |
This is an auto-generated refinement.
|
MooreWMethodEQOracle<I,O> |
This is an auto-generated refinement.
|
MooreWpMethodEQOracle<I,O> |
This is an auto-generated refinement.
|
RandomWMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,I,D> |
Implements an equivalence test by applying the W-method test on the given hypothesis automaton.
|
RandomWordsEQOracle<A extends Output<I,D>,I,D> |
|
RandomWpMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,I,D> |
Implements an equivalence test by applying the Wp-method test on the given hypothesis automaton, as described in
"Test Selection Based on Finite State Models" by S.
|
SampleSetEQOracle<I,D> |
An equivalence oracle that tests a hypothesis against a fixed set of sample queries.
|
SimulatorEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?>,I,D> |
|
WMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,I,D> |
Implements an equivalence test by applying the W-method test on the given hypothesis automaton, as described in
"Testing software design modeled by finite state machines" by T.S.
|
WpMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,I,D> |
Implements an equivalence test by applying the Wp-method test on the given hypothesis automaton, as described in
"Test Selection Based on Finite State Models" by S.
|