Explore projects

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.

Chatserver written in AspectJ for the Software Product Lines course

Test techniques assignment 2

Clide a CLean IDE (eclipse plugin)

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

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

Hybrid adaptive distinguishing sequences for FSM-based complete testing

IR project: making your own search engine from scratch