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.NI2016
Relieving Core Routers from Dynamic Routing with off-the-shelf Equipment and Protocols
Margarida Mamede, José Legatheaux Martins, João Horta
To answer traffic engineering goals, current backbone networks use expensive and sophisticated equipments, that run distributed algorithms to imple- ment dynamic multi-path routing…