Is mutation score a fair metric? - Beatriz Souza (SPLASH (Companion Volume), 2019)

Identifying Mutation Subsumption Relations. - Beatriz Souza (ASE, 2020)

A Large Scale Study On the Effectiveness of Manual and Automatic Unit Test Generation. - Beatriz Souza; Patrícia D. L. Machado (SBES, 2020)

Identifying method-level mutation subsumption relations using Z3. - Rohit Gheyi; Márcio Ribeiro 001; Beatriz Souza; Marcio Augusto Guimarães; Leo Fernandes; Marcelo d'Amorim; Vander Alves; Leopoldo Teixeira; Baldoino Fonseca (Inf. Softw. Technol., 2021)

Code Generation Tools (Almost) for Free? A Study of Few-Shot, Pre-Trained Language Models on Code. - Patrick Bareiß; Beatriz Souza; Marcelo d'Amorim; Michael Pradel (CoRR, 2022)

LExecutor: Learning-Guided Execution. - Beatriz Souza; Michael Pradel (ESEC/SIGSOFT FSE, 2023)

Treefix: Enabling Execution with a Tree of Prefixes. - Beatriz Souza; Michael Pradel (ICSE, 2025)

ChangeGuard: Validating Code Changes via Pairwise Learning-Guided Execution. - Lars Gröninger; Beatriz Souza; Michael Pradel (Proc. ACM Softw. Eng., 2025)