2 papers
cs.SE2026
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…
cs.DC2023
JepREST: Functional tests for distributed REST applications
Sara Simoes, Ana Ribeiro, Carla Ferreira +1
Application services often support mobile and web applications with REST interfaces, implemented using a set of distributed components that interact with each other. This approach…