-
Notifications
You must be signed in to change notification settings - Fork 32
Equivalence Oracles
Edi Muškardin edited this page Mar 21, 2021
·
9 revisions
Equivalence queries are answered by conformance testing. Given a current hypothesis, equivalence oracle will either (try to) find a counterexample or confirm the equivalence between the system under leaning and our hypothesis.
Equivalence oracles are found in AALpy are:
- W-Method
- Random W-Method
- Random Walk
- Random Word
- Fixed Prefix Random Walk
- k-State Transition Coverage
- Transition/Same State Focus
- Complete Breadth First Exploration
- Cache-based
- Interactive Oracle