findCounterExample
public DefaultQuery<I,O> findCounterExample(A hypothesis,
Collection<? extends I> alpha)
Searches for a counterexample disproving the subjected hypothesis.
A counterexample is query which, when performed on the SUL, yields a different output
than what was predicted by the hypothesis. If no counterexample could be found (this does
not necessarily mean that none exists), null
is returned.
- Specified by:
findCounterExample
in interface EquivalenceOracle<A extends OutputAutomaton<?,I,?,O>,I,O>
- Parameters:
hypothesis
- the conjecturealpha
- the set of inputs to consider
- Returns:
- a query exposing different behavior, or null if no counterexample
could be found. In case a non-null value is returned, the output field
in the
DefaultQuery
contains the SUL output for the respective query.