Complementing Model Learning with Mutation-Based Fuzzing

Rick Smetsers, Joshua Moerman, Mark Janssen +1

An ongoing challenge for learning algorithms formulated in the Minimally Adequate Teacher framework is to efficiently obtain counterexamples. In this paper we compare and combine c…