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

Application Logic and Annotation Processor for Duzzt

Annotations the SpotBugs tool supports

Guava is a suite of core and expanded libraries that include

Infrastructure and core interfaces of LearnLib

Common interfaces providing features supported by various learning algorithms

A simple, straightforward implementation of Dana Angluin's L* algorithm

A flexible, optimized version of Dana Angluin's L* algorithm

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

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

A collection of basic algorithm for approximating equivalence queries

Membership and equivalence oracles using an automaton model as backend

A collection of algorithms for handling counterexamples in automata learning

Caches to avoid posing duplicate membership queries

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

Basic support for test driver creation

Support for posing membership queries in parallel

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

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

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

Translation utilities for mapping abstract hypothesis symbols to concrete SUL symbols

An abstract counterexample analysis framework

Example learning setups to be used for integration testing

Support classes for easily writing integration test cases for learning algorithms

This package contains a full DFA/NFA implementation with Unicode

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

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

This artifact provides various common utility operations for analyzing and manipulating

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

This artifact contains several miscellaneous, well-known algorithms, which however are

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

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

This artifact provides efficient implementations for various collection data structures

This utility artifact contains methods that facilitate interaction with the

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

Generic automata serialization core

(De-)Serializers for the Simple Automaton Format

(De-)Serializers for the legacy LearnLibV2 format

(De-)Serializers for the Textual Automaton Format

Graph interfaces used by the JUNG project

Algorithms for the JUNG project

IO support classes for JUNG

Graph implementations for the JUNG project

Core visualization support for the JUNG project

Annotation-driven META-INF/services auto-generation

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