Generating the test drivers
There are two options for using SeTTS.
Option 1: Local configuration
Download and install Postman. This will be used to send requests to the SeTTS service (online) in order to generate the test drivers.
Option 2: Online configuration (preferred)
You will only need to follow the instructions at .
Executing the test drivers
To execute the test drivers, you will need to:
- Download and install a Java SE Development Kit (recommended: version 11 LTS).
- Download and install sbt v1.5.0.