Biography
I'm a MSc student at Federal University of Pernambuco, advised by Prof. Dr. Marcelo d'Amorim. I completed my BSc. under supervision of Prof. Dr. Rohit Gheyi at Federal University of Campina Grande in 2021. During my BSc, I conducted research in software testing under supervision of Prof. Dr. Patrícia Machado.
I'm interested in improving software quality and make everything that depends on software better.
Download my CV.
- Software Engineering
- Artificial Intelligence
-
MSc in Computer Science, present
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
- 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
Awards
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.