Package de.learnlib.oracle.equivalence.sba
-
Class Summary Class Description SimulatorEQOracle<I> WMethodEQOracle<I> AnSBAversion ofWMethodEQOraclewhich generates test sequences based on theW-methodfor each procedure.
| Class | Description |
|---|---|
| SimulatorEQOracle<I> | |
| WMethodEQOracle<I> |
An
SBA version of WMethodEQOracle which generates test sequences based
on the W-method for each procedure. |