3 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.SE2026
In Perfect Harmony: Orchestrating Causality in Actor-Based Systems
Vladyslav Mikytiv, Bernardo Toninho, Carla Ferreira
Runtime verification has gained popularity as a lightweight approach for increasing assurance in systems under scrutiny. Performing runtime checks enables dynamic monitoring and al…
cs.DB2024
Models for Storage in Database Backends
Edgard Schiebelbein, Saalik Hatia, Annette Bieniusa +3
This paper describes ongoing work on developing a formal specification of a database backend. We present the formalisation of the expected behaviour of a basic transactional system…