Explore projects

Model 》 Test 》 Relax is an open source FSM (Finite State Machine) Model-Based Testing (MBT) framework.

Mirror of the CodeCompass project for GitLab CI/CD purposes.

Sample testing project derived from the OpenIddict open source Oauth2.0 / OpenId Connect library to be used with the Model 》 Test 》 Relax model-based testing framework.

Materials for the Spatial algorithms course in Cartography MSc.

Safety repository for my master's thesis.