Infrastructure and core interfaces of LearnLib

A collection of membership oracles

A collection of utility methods to parse LearnLib specific settings.

This artifact contains the API of AutomataLib, which mainly consists of interfaces

Basic utility library containing several useful classes to ease everyday programming.

checker-qual contains annotations (type qualifiers) that a programmerwrites to specify Java code for type-checking by ...

Mockito mock objects library core API and implementation

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

Utilities for simulating SULs

Filters for collecting statistical data

The core artifact of AutomataLib. This library contains concrete implementations for many

This artifact provides various common utility operations for analyzing and manipulating