Uses of Class
de.learnlib.oracle.equivalence.AbstractTestWordEQOracle

Packages that use AbstractTestWordEQOracle

Package	Description
de.learnlib.oracle.equivalence
de.learnlib.oracle.equivalence.sba
de.learnlib.oracle.equivalence.spa
de.learnlib.oracle.equivalence.spmm
de.learnlib.oracle.equivalence.vpa

Uses of AbstractTestWordEQOracle in de.learnlib.oracle.equivalence

Subclasses of AbstractTestWordEQOracle in de.learnlib.oracle.equivalence

Modifier and Type	Class	Description
class	CompleteExplorationEQOracle<A extends net.automatalib.automaton.concept.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.
class	DFACompleteExplorationEQOracle<I>	A type-specific refinement of CompleteExplorationEQOracle.
class	DFAIncrementalWMethodEQOracle<I>	A type-specific refinement of IncrementalWMethodEQOracle.
class	DFARandomWMethodEQOracle<I>	A type-specific refinement of RandomWMethodEQOracle.
class	DFARandomWordsEQOracle<I>	A type-specific refinement of RandomWordsEQOracle.
class	DFARandomWpMethodEQOracle<I>	A type-specific refinement of RandomWpMethodEQOracle.
class	DFAWMethodEQOracle<I>	A type-specific refinement of WMethodEQOracle.
class	DFAWpMethodEQOracle<I>	A type-specific refinement of WpMethodEQOracle.
class	IncrementalWMethodEQOracle<A extends net.automatalib.automaton.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automaton.concept.Output<I,D>,I,D>
class	MealyCompleteExplorationEQOracle<I,O>	A type-specific refinement of CompleteExplorationEQOracle.
class	MealyIncrementalWMethodEQOracle<I,O>	A type-specific refinement of IncrementalWMethodEQOracle.
class	MealyRandomWMethodEQOracle<I,O>	A type-specific refinement of RandomWMethodEQOracle.
class	MealyRandomWordsEQOracle<I,O>	A type-specific refinement of RandomWordsEQOracle.
class	MealyRandomWpMethodEQOracle<I,O>	A type-specific refinement of RandomWpMethodEQOracle.
class	MealyWMethodEQOracle<I,O>	A type-specific refinement of WMethodEQOracle.
class	MealyWpMethodEQOracle<I,O>	A type-specific refinement of WpMethodEQOracle.
class	MooreCompleteExplorationEQOracle<I,O>	A type-specific refinement of CompleteExplorationEQOracle.
class	MooreIncrementalWMethodEQOracle<I,O>	A type-specific refinement of IncrementalWMethodEQOracle.
class	MooreRandomWMethodEQOracle<I,O>	A type-specific refinement of RandomWMethodEQOracle.
class	MooreRandomWordsEQOracle<I,O>	A type-specific refinement of RandomWordsEQOracle.
class	MooreRandomWpMethodEQOracle<I,O>	A type-specific refinement of RandomWpMethodEQOracle.
class	MooreWMethodEQOracle<I,O>	A type-specific refinement of WMethodEQOracle.
class	MooreWpMethodEQOracle<I,O>	A type-specific refinement of WpMethodEQOracle.
class	RandomWMethodEQOracle<A extends net.automatalib.automaton.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automaton.concept.Output<I,D>,I,D>	Implements an equivalence test based on a randomized version of the W-method as described in Complementing Model Learning with Mutation-Based Fuzzing by Rick Smetsers, Joshua Moerman, Mark Janssen, Sicco Verwer.
class	RandomWordsEQOracle<A extends net.automatalib.automaton.concept.Output<I,D>,I,D>
class	RandomWpMethodEQOracle<A extends net.automatalib.automaton.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automaton.concept.Output<I,D>,I,D>	Implements an equivalence test based on a randomized version of the W(p)-method as described in Complementing Model Learning with Mutation-Based Fuzzing by Rick Smetsers, Joshua Moerman, Mark Janssen, Sicco Verwer.
class	WMethodEQOracle<A extends net.automatalib.automaton.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automaton.concept.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. Chow.
class	WpMethodEQOracle<A extends net.automatalib.automaton.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automaton.concept.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. Fujiwara et al.

Uses of AbstractTestWordEQOracle in de.learnlib.oracle.equivalence.sba

Subclasses of AbstractTestWordEQOracle in de.learnlib.oracle.equivalence.sba

Modifier and Type	Class	Description
class	WMethodEQOracle<I>	An SBA version of WMethodEQOracle which generates test sequences based on the W-method for each procedure.

Uses of AbstractTestWordEQOracle in de.learnlib.oracle.equivalence.spa

Subclasses of AbstractTestWordEQOracle in de.learnlib.oracle.equivalence.spa

Modifier and Type	Class	Description
class	WMethodEQOracle<I>	An SPA version of WMethodEQOracle which generates test sequences based on the W-method for each procedure.
class	WpMethodEQOracle<I>	An SPA version of WpMethodEQOracle which generates test sequences based on the partial W-method for each procedure.

Uses of AbstractTestWordEQOracle in de.learnlib.oracle.equivalence.spmm

Subclasses of AbstractTestWordEQOracle in de.learnlib.oracle.equivalence.spmm

Modifier and Type	Class	Description
class	WMethodEQOracle<I,O>	Implements an equivalence test by applying the W-method test on the procedures of the given hypothesis SBA, as described in "Testing software design modeled by finite state machines" by T.S.

Uses of AbstractTestWordEQOracle in de.learnlib.oracle.equivalence.vpa

Subclasses of AbstractTestWordEQOracle in de.learnlib.oracle.equivalence.vpa

Modifier and Type	Class	Description
class	RandomWellMatchedWordsEQOracle<I>	An equivalence oracle based on the generation of random (well-matched) words.