A free, open-source Java library for automata learning algorithms
java automata finite-state-machine ttt dfa model-based-testing mealy-machine test-case-generation automata-learning pushdown-automata model-learning lstar model-based-learning rpni active-automata-learning
-
Updated
Jan 23, 2026 - Java