Explore projects

Service that tests the connection to a users database. Called from the frontend before a user can add the database to prevent adding a database with invalid credentials.

An automated unit testing tool for Java classes.

Containerized LOLA image for analyzing Petri nets via endpoint.