This artifact provides the implementation of the ADT learning algorithm as described in the Master thesis
"Active Automata Learning with Adaptive Distinguishing Sequences" (http://arxiv.org/abs/1902.01139) by Markus
Frohme.
| License | Apache 2.0 |
|---|---|
| Date | Nov 15, 2023 |
| Files | pom (4 KB) jar (77 KB) View All |
| Repositories | Central |
| Ranking | #364442 in MvnRepository (See Top Artifacts) |
| Used By | 1 artifacts |
Compile Dependencies (15)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
Apache 2.0 |  | com.github.misberner.buildergen » buildergen | 0.1 | ✔ |
| Core Utils Apache 2.0 |  | com.google.guava » guava | 32.1.2-jre | 33.5.0-jre |
Apache 2.0 | | de.learnlib » learnlib-api | 0.17.0 | 0.18.0 |
Apache 2.0 | | de.learnlib » learnlib-counterexamples | 0.17.0 | 0.18.0 |
Apache 2.0 | | de.learnlib » learnlib-util | 0.17.0 | 0.18.0 |
Apache 2.0 | | de.learnlib.testsupport » learnlib-learner-it-support | 0.17.0 | 0.18.0 |
Apache 2.0 | | de.learnlib.testsupport » learnlib-learning-examples | 0.17.0 | 0.18.0 |
Apache 2.0 |  | net.automatalib » automata-api | 0.11.0 | 0.12.1 |
| Collections Apache 2.0 | | net.automatalib » automata-commons-smartcollections | 0.11.0 | 0.12.1 |
Apache 2.0 | | net.automatalib » automata-core | 0.11.0 | 0.12.1 |
Apache 2.0 | | net.automatalib » automata-util | 0.11.0 | 0.12.1 |
Apache 2.0 | | net.automatalib » automata-commons-util | 0.11.0 | 0.12.1 |
| Defect Detection MIT |  | org.checkerframework » checker-qual | 3.7.0 | 3.52.0 |
| Logging MIT |  | org.slf4j » slf4j-api | 2.0.9 | 2.0.17 |
| Testing Apache 2.0 |  | org.testng » testng | 7.5.1 | 7.11.0 |
Test Dependencies (3)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
Apache 2.0 | | de.learnlib » learnlib-drivers-simulator | 0.17.0 | 0.18.0 |
Apache 2.0 | | de.learnlib » learnlib-membership-oracles | 0.17.0 | 0.18.0 |
Apache 2.0 | | net.automatalib » automata-serialization-dot | 0.11.0 | 0.12.1 |
Licenses
| License | URL |
|---|---|
| Apache License, Version 2.0 | https://www.apache.org/licenses/LICENSE-2.0.txt |
Developers
| Name | Dev Id | Roles | Organization | |
|---|---|---|---|---|
| Markus Frohme | markus.frohme<at>udo.edu | mtf90 | Developer, Maintainer | TU Dortmund University, Chair of Programming Systems |
| Falk Howar | falk.howar<at>gmail.com | fhowar | Developer | TU Dortmund University, Chair of Software Engineering |
| Malte Isberner | malte.isberner<at>gmail.com | misberner | Developer (inactive) | TU Dortmund University, Chair of Programming Systems |