Biography
I am a PhD student at Universität Stuttgart, advised by Prof. Dr. Michael Pradel. I completed my MSc in 2023 under supervision of Prof. Dr. Marcelo d'Amorim at Federal University of Pernambuco and my BSc. in 2021 under supervision of Prof. Dr. Rohit Gheyi at Federal University of Campina Grande. During my BSc, I conducted research in software testing under supervision of Prof. Dr. Patrícia Machado.
I am interested in improving software quality to make everything that depends on software better.
Download my CV.
- Software Engineering
- Artificial Intelligence
-
PhD in Computer Science, present
Universität Stuttgart
-
MSc in Computer Science, 2023
Federal University of Pernambuco
-
BSc in Computer Science, 2021
Federal University of Campina Grande
-
High School with a Technical Degree in Informatics, 2016
Federal Institute of Education, Science and Technology of Paraı́ba
Publications
-
Treefix: Enabling Execution with a Tree of Prefixes
Beatriz Souza and Michael Pradel.
International Conference on Software Engineering (ICSE). 2025 -
ChangeGuard: Validating Code Changes via Pairwise Learning-Guided Execution
Lars Gröninger, Beatriz Souza, and Michael Pradel.
Symposium on the Foundations of Software Engineering (FSE). 2025 -
LExecutor: Learning-Guided Execution
Beatriz Souza and Michael Pradel.
Symposium on the Foundations of Software Engineering (FSE). 2023 -
Identifying Method-Level Mutation Subsumption Relations using Z3
Rohit Gheyi, Márcio Ribeiro, Beatriz Souza, Marcio Guimarães, Leo Fernandes, Marcelo d’Amorim, Vander Alves, Leopoldo Teixeira, Baldoino Fonseca.
Information and Software Technology (IST). 2021 -
Identifying Mutation Subsumption Relations
Beatriz Souza.
International Conference on Automated Software Engineering (ASE). 2020 -
A Large Scale Study On the Effectiveness of Manual and Automatic Unit Test Generation
Beatriz Souza and Patrícia Machado.
Brazilian Symposium on Software Engineering (SBES). 2020 -
A Lightweight Technique to Identify Equivalent Mutants
Beatriz Souza and Rohit Gheyi.
Brazilian Symposium on Software Engineering (CTIC-SBES). 2020 -
Is Mutation Score a Fair Metric?
Beatriz Souza.
International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH). 2019
Preprints
-
Code Generation Tools (Almost) for Free? A Study of Few-Shot, Pre-Trained Language Models on Code
Patrick Bareiß, Beatriz Souza, Marcelo d'Amorim, and Michael Pradel.
2022
Awards
ACM SIGSOFT Distinguished Paper Award at the Symposium on the Foundations of Software Engineering (FSE 2023) for the work “LExecutor: Learning-Guided Execution”.
Best Paper Award at the Brazilian Symposium on Software Engineering (SBES 2020) for the work “A Large Scale Study On the Effectiveness of Manual and Automatic Unit Test Generation”.
First Place at the Undergraduate Research on Software Engineering Competition - CTIC-ES - (SBES 2020) for the work “A Lightweight Technique to Identify Equivalent Mutants”.
Third Place at the ACM Student Research Competition (ASE 2020) for the work “Identifying mutation subsumption relations”.
Third Place at the ACM Student Research Competition (SPLASH 2019) for The work “Is mutation score a fair metric?”.
Service
Student Volunteer
- ASE 2020.