Automated Test Generation for RESTful APIs

SeTTS: Session Type Test Synthesis

Browse Documentation

Chose an option to get started.

Getting Started

Get started with installation requirements and instructions.

Generate Drivers

Learn how to use COpenAPI and generate test drivers.

Analyse Results

Understand the outputs generated by the test drivers.

Getting Started
Generating Test Drivers
Running Test Drivers
Analysing Test Results