SeTTS: Session Type Test Synthesis
Chose an option to get started.
Get started with installation requirements and instructions.
Learn how to use COpenAPI and generate test drivers.
Understand the outputs generated by the test drivers.