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.

LicenseApache 2.0
DateFeb 18, 2019
Filespom (3 KB)  jar (79 KB)  View All
RepositoriesCentral
Ranking#273759 in MvnRepository (See Top Artifacts)
Used By1 artifacts
VulnerabilitiesVulnerabilities from dependencies:
CVE-2022-4065

Note: There is a new version for this artifact

New Version0.18.0


Provided Dependencies (1)

Category/License Group / ArtifactVersionUpdates

Apache 2.0
com.github.misberner.buildergen » buildergen 0.1

Licenses

LicenseURL
Apache License, Version 2.0 http://www.apache.org/licenses/LICENSE-2.0.txt

Developers

NameEmailDev IdRolesOrganization
Markus Frohmemarkus.frohme<at>udo.edumtf90Developer, MaintainerTU Dortmund, Chair for Programming Systems
Falk Howarfalk.howar<at>gmail.comfalkhowarDeveloperTU Dortmund, Chair for Software Engineering
Malte Isbernermalte.isberner<at>gmail.commisbernerDeveloper (inactive)
Stephan Windmüllerstephan.windmueller<at>tu-dortmund.destovocorDeveloper (inactive)
Maik Mertenmaikmerten<at>googlemail.commertenDeveloper (inactive)
Oliver Baueroliver.bauer<at>tu-dortmund.deoliverbauer8Developer (inactive)