TY  - RPRT
TI  - Systematic API Testing Through Model Checking and Executable Contracts
AU  - Ana Ribeiro
AU  - Margarida Mamede
AU  - Carla Ferreira
PY  - 2026
UR  - https://arxiv.org/abs/2604.08633
ID  - 2604.08633
ER  -