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 | Feb 08, 2018 |
Files | pom (3 KB) jar (78 KB) View All |
Repositories | Central |
Ranking | #273419 in MvnRepository (See Top Artifacts) |
Used By | 1 artifacts |
Compile Dependencies (8)
Category/License | Group / Artifact | Version | Updates | |
---|---|---|---|---|
Defect Detection LGPL 2.1 | com.google.code.findbugs » jsr305 | 3.0.2 | 4.9.1 | |
Apache 2.0 | de.learnlib » learnlib-api | 0.13.0 | 0.18.0 | |
Apache 2.0 | de.learnlib » learnlib-counterexamples | 0.13.0 | 0.18.0 | |
Apache 2.0 | de.learnlib » learnlib-util | 0.13.0 | 0.18.0 | |
Apache 2.0 | net.automatalib » automata-api | 0.7.0 | 0.12.0 | |
Apache 2.0 | net.automatalib » automata-core | 0.7.0 | 0.12.0 | |
Apache 2.0 | net.automatalib » automata-util | 0.7.0 | 0.12.0 | |
Apache 2.0 | net.automatalib » automata-commons-util | 0.7.0 | 0.12.0 |
Provided Dependencies (1)
Category/License | Group / Artifact | Version | Updates | |
---|---|---|---|---|
Apache 2.0 | com.github.misberner.buildergen » buildergen | 0.1 | ✔ |
Test Dependencies (5)
Category/License | Group / Artifact | Version | Updates | |
---|---|---|---|---|
Apache 2.0 | de.learnlib » learnlib-drivers-simulator | 0.13.0 | 0.18.0 | |
Apache 2.0 | de.learnlib » learnlib-membership-oracles | 0.13.0 | 0.18.0 | |
Apache 2.0 | de.learnlib.testsupport » learnlib-learning-examples | 0.13.0 | 0.18.0 | |
Apache 2.0 | de.learnlib.testsupport » learnlib-learner-it-support | 0.13.0 | 0.18.0 | |
Testing Apache 2.0 | org.testng » testng | 6.11 | 7.11.0 |
Licenses
License | URL |
---|---|
Apache License, Version 2.0 | http://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, Chair for Programming Systems |
Falk Howar | falk.howar<at>gmail.com | falkhowar | Developer | TU Dortmund, Chair for Software Engineering |
Malte Isberner | malte.isberner<at>gmail.com | misberner | Developer (inactive) | |
Stephan Windmüller | stephan.windmueller<at>tu-dortmund.de | stovocor | Developer (inactive) | |
Maik Merten | maikmerten<at>googlemail.com | merten | Developer (inactive) | |
Oliver Bauer | oliver.bauer<at>tu-dortmund.de | oliverbauer8 | Developer (inactive) |