Systematic API Testing Through Model Checking and Executable Contracts
Published in Zenodo (CERN European Organization for Nuclear Research) • Dec 23, 2025
Authors:,,
Ana Catarina Ribeiro
Margarida Mamede
Carlos Ferreira
Abstract
This package contains all artifacts necessary to reproduce the results presented in our paper "Model-Checking-Guided Black-Box Testing of RESTful APIs".
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!