Output-decomposed Learning of Mealy Machines

1 code implementation • 14 May 2024 • Rick Koenders, Joshua Moerman

We present an active automata learning algorithm which learns a decomposition of a finite state machine, based on projecting onto individual outputs.

Complementing Model Learning with Mutation-Based Fuzzing

1 code implementation • 8 Nov 2016 • Rick Smetsers, Joshua Moerman, Mark Janssen, Sicco Verwer

An ongoing challenge for learning algorithms formulated in the Minimally Adequate Teacher framework is to efficiently obtain counterexamples.

Software Engineering