Beatriz Souza

12 papers A* 2Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
ChangeGuard: Validating Code Changes via Pairwise Learning-Guided Execution.
Proc. ACM Softw. Eng.
Lars Gröninger, Beatriz Souza, Michael Pradel
2025 — conf
Executable Conformance Testing Theories: From Theory to Practice and Back.
SBMF
Gustavo Carvalho, Lucas Santana, Fábio Sobral, Beatriz Souza
2025 A* conf
Treefix: Enabling Execution with a Tree of Prefixes.
ICSE
Beatriz Souza, Michael Pradel
2025 J jnl
Treefix: Enabling Execution with a Tree of Prefixes.
CoRR
Beatriz Souza, Michael Pradel
2024 J jnl
ChangeGuard: Validating Code Changes via Pairwise Learning-Guided Execution.
CoRR
Lars Gröninger, Beatriz Souza, Michael Pradel
2023 — conf
LExecutor: Learning-Guided Execution.
ESEC/SIGSOFT FSE
Beatriz Souza, Michael Pradel
2023 J jnl
LExecutor: Learning-Guided Execution.
CoRR
Beatriz Souza, Michael Pradel
2022 J jnl
Code Generation Tools (Almost) for Free? A Study of Few-Shot, Pre-Trained Language Models on Code.
CoRR
Patrick Bareiß, Beatriz Souza, Marcelo d'Amorim, Michael Pradel
2021 J jnl
Identifying method-level mutation subsumption relations using Z3.
Inf. Softw. Technol.
Rohit Gheyi, Márcio Ribeiro, Beatriz Souza, Marcio Augusto Guimarães, Leo Fernandes, Marcelo d'Amorim, Vander Alves, Leopoldo Teixeira, Baldoino Fonseca
2020 — conf
A Large Scale Study On the Effectiveness of Manual and Automatic Unit Test Generation.
SBES
Beatriz Souza, Patrícia D. L. Machado
2020 A* conf
Identifying Mutation Subsumption Relations.
ASE
Beatriz Souza
2019 — conf
Is mutation score a fair metric?
SPLASH (Companion Volume)
Beatriz Souza