Uses of Package
de.learnlib.eqtests.basic

Packages that use de.learnlib.eqtests.basic

Package	Description
de.learnlib.eqtests.basic

Classes in de.learnlib.eqtests.basic used by de.learnlib.eqtests.basic

Class and Description
EQOracleChain
IncrementalWMethodEQOracle
RandomWordsEQOracle
SampleSetEQOracle An equivalence oracle that tests a hypothesis against a fixed set of sample queries.
SimpleEQOracle
SimulatorEQOracle
WMethodEQOracle 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 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.