Tomte is a tool that fully automatically constructs abstractions for automata learning.
Python+Java tool for learning TCP implementations
Authors: Rauf Mahmudlu, Halim Munawar, Moritz Neikes, Niels Samwel
Basic learner setup, using learnlib/automatalib, containing an example SUL and a socket-interface to connect a SUL over TCP.
A project where we develop some of the (Java) data-structures that we use in Tomte
The project simulates TCP models learned as part of the learning & model checking TCP work.
Interpreter for my mapper language for abstraction in automata learning.
Some of the scripts used for the RERS challenge 2016
iTasks Android app
library for creating and using statemachines : lts,fsm and efsm
Learning product automata
Het project van de app voor het R&D-project
Test techniques assignment 2
Testing techniques assignment 3