Biography
I'm 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'm 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
- Beatriz Souza and Michael Pradel. LExecutor: Learning-Guided Execution. Symposium on the Foundations of Software Engineering (FSE). 2023
- Rohit Gheyi, Márcio Ribeiro, Beatriz Souza, Marcio Guimarães, Leo Fernandes, Marcelo d’Amorim, Vander Alves, Leopoldo Teixeira, Baldoino Fonseca. Identifying Method-Level Mutation Subsumption Relations using Z3. Information and Software Technology (IST). 2021
- Beatriz Souza. Identifying Mutation Subsumption Relations. In 35th IEEE/ACM International Conference on Automated Software Engineering (ASE’20). 2020
- Beatriz Souza and Patrícia Machado. A Large Scale Study On the Effectiveness of Manual and Automatic Unit Test Generation. In 34th Brazilian Symposium on Software Engineering (SBES’20). 2020
- Beatriz Souza and Rohit Gheyi. A Lightweight Technique to Identify Equivalent Mutants. In 34th Brazilian Symposium on Software Engineering (CTIC-SBES’20). 2020
- Beatriz Souza. Is Mutation Score a Fair Metric?. In Proceedings of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Companion ’19). 2019
Preprints
- Patrick Bareiß, Beatriz Souza, Marcelo d'Amorim, Michael Pradel. Code Generation Tools (Almost) for Free? A Study of Few-Shot, Pre-Trained Language Models on Code. 2022
Awards
The paper “LExecutor: Learning-Guided Execution; won an ACM SIGSOFT Distinguished Paper Award at the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2023.
The paper “A Large Scale Study On the Effectiveness of Manual and Automatic Unit Test Generation” won the best paper award at the 34th Brazilian Symposium on Software Engineering - SBES 2020.
The work (A Lightweight Technique to Identify Equivalent Mutants) was ranked best undergraduate research work at the Undergraduate Research on Software Engineering Competition (CTIC-ES) - SBES 2020.
The work (Identifying mutation subsumption relations) was ranked the third best undergraduate research work at the ACM Student Research Competition - ASE 2020.
The work (Is mutation score a fair metric?) was ranked the third best undergraduate research work at the ACM Student Research Competition - SPLASH 2019.
Service
Student Volunteer
- ASE’35, 2020.