Core implementation of Logback, a reliable, generic, fast and flexible logging framework.

Implementation of the SLF4J API for Logback, a reliable, generic, fast and flexible logging framework.

A library with common functionalities for facilitating the implementation

A small Java Annotation Processor library which for automatically generating Builder classes from constructors or static ...

Application Logic and Annotation Processor for Duzzt

AWT Shape Definitions for Shapes used by GraphVIZ.

Guava is a suite of core and expanded libraries that include

Use beautiful Java code to generate beautiful Java code.

Parent module for automata learning algorithms shipped with LearnLib

Parent module for (active) automata learning algorithms shipped with LearnLib

This artifact provides the implementation of the ADT learning algorithm as described in the Master thesis

This artifact provides the implementation of the DHC learning algorithm as described in the paper "Automata

A learning algorithm, which distinguishes hypothesis states using a discrimination tree.

A learning algorithm, which distinguishes hypothesis states using a discrimination tree (visibly push-down

This artifact provides the implementation of the learning algorithm described in the book "An Introduction to

This artifact provides the implementation of the L* learning algorithm described in the paper "Learning Regular

This artifact provides the implementation of the NL* learning algorithm as described in the paper "Angluin-Style

This artifact provides the implementation of the TTT algorithm as described in the paper "The TTT Algorithm: A

The TTT Algorithm (visibly push-down automata variant)

Parent module for (passive) automata learning algorithms shipped with LearnLib

This artifact provides the implementation of (a blue-fringe version of) the "regular positive negative

This artifact provides the implementation of (a blue-fringe version of) the "regular positive negative

This artifact provides the implementation of (a blue-fringe version of) the "regular positive negative

Infrastructure and core interfaces of LearnLib

A utility parent, that defines certain plugin executions for the build process. May be used to define

Tools and resources required for building LearnLib

Configs and other resources required for building LearnLib

Annotations and processors for the LearnLib build process

Parent module for common LearnLib utilities

An abstract counterexample analysis framework

A collection of algorithms for handling counterexamples in automata learning

A collection of utility methods to parse LearnLib specific settings.

A collection of utility methods for learning setups (oracle wrappers, etc.)

Parent module for data structures shared across multiple modules of LearnLib

Data- and utility classes for Discrimination Trees

Data- and utility classes for Lists

Data- and utility classes for Observation Tables

Data- and utility classes for Prefix-Tree-Acceptors

Parent module for test drivers

Basic support for test driver creation

Translation utilities for mapping abstract hypothesis symbols to concrete SUL symbols

Utilities for simulating SULs

Parent module for oracles and oracle-related modules

A collection of emptiness oracles

A collection of equivalence oracles

Parent module for components that can be inserted in a chain of oracles

Caches to avoid posing duplicate membership queries

Reuse Tree for (intelligently) caching membership queries as described in the paper "Reusing System

Filters for collecting statistical data

A collection of membership oracles

Support for posing membership queries in parallel

A collection of property oracles

Parent metaproject for archetypes that facilitate getting started with LearnLib.

Archetype for a basic LearnLib setup, including the most commonly used dependencies

Archetype which includes all LearnLib dependencies

An artifact that aggregates all other artifacts of LearnLib to produce an Uber-JAR that can be used in

Functionality to ease writing test cases for LearnLib

Example learning setups to be used for integration testing

Support classes for easily writing integration test cases for learning algorithms

Support classes for easily writing unit tests for various components of LearnLib

This package contains a full DFA/NFA implementation with Unicode

Jakarta Annotations API

Common parent meta-project for various adapters, i.e., wrapper class that allow to treat automaton or graph

This artifact contains adapter classes for treating the Automaton objects from the

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

A utility artifact, that defines certain plugin executions for the build process. May be used to define

Tools and resources required for building AutomataLib

Common parent metaproject for various small Java libraries which are required by AutomataLib,

This artifact provides efficient implementations for various collection data structures

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

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

This artifact contains algorithms for incrementally constructing DFAs (prefix-closed and non-prefix-closed),

Meta-module for various model checkers that can be used with automata and graph models from AutomataLib.

This artifact provides the integration of the model checker "LTSmin" (https://ltsmin.utwente.nl/) as described

Serialization parent meta project for various (de-)serialization methods.

(De-)Serializers for the AUT Format

Generic automata serialization core

(De-)Serializers for the DOT Format

Serializers for LTSmin's Enumerated Table Format

Deserializers for the Finite State Machine format

(De-)Serializers for the legacy LearnLibV2 format

(De-)Serializers for the Simple Automaton Format

(De-)Serializers for the Textual Automaton Format

This artifact provides various common utility operations for analyzing and manipulating

Automata and Graph visualization libraries.

This artifact provides a visualization implementation based on the GraphVIZ DOT (http://www.graphviz.org/) tool.

This artifact provides a visualization implementation based on the JUNG (https://jung.sourceforge.net/) library.

Parent metaproject for archetypes that facilitate getting started with AutomataLib.

The basic archetype, which provides preconfigured dependencies for the basic usage of AutomataLib.

The complete archetype, which provides preconfigured dependencies on all artifacts of AutomataLib.

An artifact that aggregates all other artifacts of AutomataLib to produce an Uber-JAR that can be used in

Graph interfaces used by the JUNG project

Algorithms for the JUNG project

Graph implementations for the JUNG project

Core visualization support for the JUNG project

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

JMockit is a Java toolkit for automated developer testing.

Annotation-driven META-INF/services auto-generation

Mockito mock objects library core API and implementation

API for SLF4J (The Simple Logging Facade for Java) which serves as a simple facade or abstraction for various logging ...

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