Systematic API Testing Through Model Checking and Executable Contracts

Ana Ribeiro, Margarida Mamede, Carla Ferreira

Automated black-box testing of APIs typically relies on interface specifications that define available operations and data schemas, but offer limited or no behavioural semantics. T…