library for creating and using statemachines : lts,fsm and efsm
Test techniques assignment 2
Tomte is a tool that fully automatically constructs abstractions for automata learning.
Python+Java tool for learning TCP implementations
Basic learner setup, using learnlib/automatalib, containing an example SUL and a socket-interface to connect a SUL over TCP.
The project simulates TCP models learned as part of the learning & model checking TCP work.
An automatic code review tool for student Java assignments.
Hybrid adaptive distinguishing sequences for FSM-based complete testing
PT15's Sokoban app for the R&D course
Testing techniques assignment 3