Explore projects

This repo has been migrated to GitHub: https://github.com/thaliawww/ThaliApp

Hybrid adaptive distinguishing sequences for FSM-based complete testing: https://github.com/Jaxan/hybrid-ads

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

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