Explore projects

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.

Basic learner setup, using learnlib/automatalib, containing an example SUL and a socket-interface to connect a SUL over TCP. https://github.com/Jaxan/basic-learning

Some of the scripts used for the RERS challenge 2016

iTasks Android app

Het project van de app voor het R&D-project

Please go to https://gitlab.science.ru.nl/moerman/hybrid-ads

Authors: Rauf Mahmudlu, Halim Munawar, Moritz Neikes, Niels Samwel

Test techniques assignment 2

Testing techniques assignment 3

There’s an App for Everything

Learning product automata