Chatserver written in AspectJ for the Software Product Lines course
Learning product automata
IR project: making your own search engine from scratch
The project simulates TCP models learned as part of the learning & model checking TCP work.
Clide a CLean IDE (eclipse plugin)
Authors: Rauf Mahmudlu, Halim Munawar, Moritz Neikes, Niels Samwel
iTasks Android app
Test techniques assignment 2
Basic learner setup, using learnlib/automatalib, containing an example SUL and a socket-interface to connect a SUL over TCP.
Interpreter for my mapper language for abstraction in automata learning.
Het project van de app voor het R&D-project
Tomte is a tool that fully automatically constructs abstractions for automata learning.