Description: Test driver of RESTful API based on binary session types. The tool features a domain-specific language for OpenAPI specifications, COpenAPI, that enables the modelling of communication protocols between a REST client and server. Given a binary session type specification of the intended usage of the API, the tool generates (randomised) model-based test executions and reports software defects.
SCSL is heavily inspired by RAML and OpenAPI

Developed at: GSSI, UOM

Contacts: emilio.tuosto@gssi.it, adrian.francalanza@um.edu.mt

Available at: https://github.com/chrisbartoloburlo/cots

Leave a Reply