Counterfeiting Congestion Control Algorithms. - Margarida Ferreira; Akshay Narayan 001; Inês Lynce; Ruben Martins; Justine Sherry (HotNets, 2021)

FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions. - Margarida Ferreira; Miguel Terra-Neves; Miguel Ventura; Inês Lynce; Ruben Martins (TACAS (1), 2021)

Reverse-Engineering Congestion Control Algorithm Behavior. - Margarida Ferreira; Ranysha Ware; Yash Kothari; Inês Lynce; Ruben Martins; Akshay Narayan 001; Justine Sherry (IMC, 2024)

Acceptance Test Generation with Large Language Models: An Industrial Case Study. - Margarida Ferreira; Luís Viegas; João Pascoal Faria; Bruno Lima (AST@ICSE, 2025)

Program Synthesis from Partial Traces. - Margarida Ferreira; Victor Nicolet; Joey Dodds; Daniel Kroening (Proc. ACM Program. Lang., 2025)