Home » de.learnlib » learnlib-test-support » Usages

Artifacts using LearnLib :: Test Support (7)
Sort by:Popular▼

1. LearnLib :: Simulator11 usages

de.learnlib » learnlib-simulatorApache

Membership and equivalence oracles using an automaton model as backend
Last Release on Jun 4, 2015

2. LearnLib :: Filters :: Cache10 usages

de.learnlib » learnlib-cacheApache

Caches to avoid posing duplicate membership queries
Last Release on Feb 6, 2025

3. LearnLib :: Equivalence Tests :: Basic Tests7 usages

de.learnlib » learnlib-basic-eqtestsApache

A collection of basic algorithm for approximating equivalence queries
Last Release on Jun 4, 2015

4. LearnLib :: Algorithms :: Generic L*5 usages

de.learnlib » learnlib-lstar-genericApache

A flexible, optimized version of Dana Angluin's L* algorithm
Last Release on Jun 4, 2015

5. LearnLib :: Algorithms :: DHC3 usages

de.learnlib » learnlib-dhcApache

This artifact provides the implementation of the DHC learning algorithm as described in the paper "Automata Learning with on-the-Fly Direct Hypothesis Construction" (https://doi.org/10.1007/978-3-642-34781-8_19) by Maik Merten, Falk Howar, Bernhard Steffen, and Tiziana Margaria.
Last Release on Feb 6, 2025

6. LearnLib :: Drivers :: Basic3 usages

de.learnlib » learnlib-drivers-basicApache

Basic support for test driver creation
Last Release on Feb 6, 2025

7. LearnLib :: Algorithms :: Baseline L*1 usages

de.learnlib » learnlib-lstar-baselineApache

A simple, straightforward implementation of Dana Angluin's L* algorithm
Last Release on Jun 4, 2015
  • Prev
  • 1
  • Next