Artifacts using automata-util version 0.12.0

Example learning setups to be used for integration testing

Support classes for easily writing integration test cases for learning algorithms

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

A collection of equivalence oracles

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

Caches to avoid posing duplicate membership queries

Module for data structures shared by multiple learning algorithms of LearnLib

Filters for collecting statistical data

This artifact contains algorithms for incrementally constructing DFAs (prefix-closed and non-prefix-closed), Mealy machines, and Moore machines from a finite, incrementally growing set of example inputs/outputs.

Support for posing membership queries in parallel