Beatriz Souza

According to our database, Beatriz Souza authored at least 6 papers between 2019 and 2023.

Collaborative distances:

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

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