This repository contains:

• activelearner: Prototype tool that uses LearnLib for active learning and that integrates with our libafl library for fuzzing.
• afl: American Fuzzy Lop (AFL) fuzzer, with the libafl library that is used in prototype tool.
• benchmarks: A set of learning benchmarks, built with cgenerate.
• fsmutils: FSM utilities by Rick Smetsers: mintrace is a tool that checks whether a given FSM is minimal and determines minimal separating sequence, cgenerate generates a C program that implements the state machine given by an input dot file.
• passivelearner: Tool to convert a set of input files to traces with input and output for use with passive learning.
• rers2015: Rigorous Examination of Reactive Systems (RERS) Challenge 2015 code with build files and various fixes (patches).
• simpletarget: Simple state machine target, used to test learning implementation.