FlexFringe: Modeling Software Behavior by Learning Probabilistic Automata

Sicco Verwer, Christian Hammerschmidt

We present the efficient implementations of probabilistic deterministic finite automaton learning methods available in FlexFringe. These implement well-known strategies for state-m…