Skip to content

Equivalence Oracles

Jump to bottom
Edi Muškardin edited this page Dec 20, 2023 · 9 revisions

Equivalence queries are answered by conformance testing. Given a current hypothesis, an equivalence oracle will either (try to) find a counterexample between the hypothesis and SUL or confirm the equivalence between the SUL and the current hypothesis.

Equivalence oracles can be found at: https://github.com/DES-Lab/AALpy/tree/master/aalpy/oracles

All oracles are supported when learning deterministic systems, while non-deterministic, stochastic, and context-free learning supports only RandomWalk and RandomWord equivalence oracles. Context-free learning also supports StatePrefixEqOracle.

Overview

Home

Interactive Examples

Code Examples

Core Functionalities

Learning Black-box Systems

Conformance Checking

Setting Up Learning

Helper Functionalities

Random Automata Generation

Saving, Loading, Visualizing Automata

Advanced Use

Learning-based Testing

Learning-based Fuzzing

Model-Checking With PRISM

Other

Performance Evaluation

Clone this wiki locally