Infrastructure and core interfaces of LearnLib

Translation utilities for mapping abstract hypothesis symbols to concrete SUL symbols

Example learning setups to be used for integration testing

TestNG is a testing framework inspired from JUnit and NUnit but introducing some new functionalities that make it more ...

Membership and equivalence oracles using an automaton model as backend