Skip to content

Equivalence Oracles

Jump to bottom
Edi Muškardin edited this page Mar 26, 2021 · 9 revisions

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

Equivalence oracles are found in AALpy are:

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