Christian Bartolo Burlò's repositories
ecoop2021-artifact
A monitor synthesis tool for session types.
cots-artefact
This is the repository for COTS, a model-based testing tool for RESTful applications.
openapi-generator
OpenAPI Generator allows generation of API client libraries (SDK generation), server stubs, documentation and configuration automatically given an OpenAPI Spec (v2, v3)
Language:JavaApache-2.0000