Beatriz Souza

According to our database, Beatriz Souza authored at least 10 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

FlyCatcher: Neural Inference of Runtime Checkers from Tests.

Beatriz Souza, Chang Lou, Suman Nath, Michael Pradel

CoRR, April, 2026

2025

ChangeGuard: Validating Code Changes via Pairwise Learning-Guided Execution.

Lars Gröninger, Beatriz Souza, Michael Pradel

Proc. ACM Softw. Eng., 2025

Executable Conformance Testing Theories: From Theory to Practice and Back.

Gustavo Carvalho, Lucas Santana, Fábio Sobral, Beatriz Souza

Proceedings of the Formal Methods: Foundations and Applications - 28th Brazilian Symposium, 2025

Treefix: Enabling Execution with a Tree of Prefixes.

Beatriz Souza, Michael Pradel

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

2023

LExecutor: Learning-Guided Execution.

Beatriz Souza, Michael Pradel

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

2022

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

2021

Identifying method-level mutation subsumption relations using Z3.

Rohit Gheyi, Márcio Ribeiro, Beatriz Souza, Marcio Augusto Guimarães, Leo Fernandes, Marcelo d'Amorim, Vander Alves, Leopoldo Teixeira, Baldoino Fonseca

Inf. Softw. Technol., 2021

2020

A Large Scale Study On the Effectiveness of Manual and Automatic Unit Test Generation.

Beatriz Souza, Patrícia D. L. Machado

Proceedings of the 34th Brazilian Symposium on Software Engineering, 2020

Identifying Mutation Subsumption Relations.

Beatriz Souza

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2019

Is mutation score a fair metric?

Beatriz Souza

Proceedings of the Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, 2019