2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.PL2020★ 2 cited
Robust Contract Evolution in a TypeSafe MicroServices Architecture
João Costa Seco, Paulo Ferreira, Hugo Lourenço +2
Microservices architectures allow for short deployment cycles and immediate effects but offer no safety mechanisms when service contracts need to be changed. Maintaining the soundn…
cs.SE2019
SNITCH: Dynamic Dependent Information Flow Analysis for Independent Java Bytecode
Eduardo Geraldo, João Costa Seco
Software testing is the most commonly used technique in the industry to certify the correctness of software systems. This includes security properties like access control and data…