Package de.learnlib.oracle.equivalence.spmm
-
Class Summary Class Description SimulatorEQOracle<I,O> WMethodEQOracle<I,O> Implements an equivalence test by applying the W-method test on the procedures of the given hypothesisSBA
, as described in "Testing software design modeled by finite state machines" by T.S.