This tool was presented as the BehAPI Tutorial Day 2023, colocated with DisCoTec. Here, Christian Bartolo Burlò presented an approach for testing REST APIs, utilizing session types and an OpenAPI-based DSL to specify correct message exchanges/API usages. A tool called SeTTS was created, which is able to generate randomized test executions to detect specification violations on open-source applications, requiring less code than handwritten tests.

Tool here: https://chrisbartoloburlo.github.io/cots/
Slides here: [x]