Beatriz Souza

Beatriz Souza

MSc Student in Computer Science

Federal University of Pernambuco

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.

Interests
  • Software Engineering
  • Artificial Intelligence
Education
  • 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

    PDF

  • Beatriz Souza. Identifying Mutation Subsumption Relations. In 35th IEEE/ACM International Conference on Automated Software Engineering (ASE’20). 2020

    PDF Poster Video

  • 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

    PDF Video

  • Beatriz Souza and Rohit Gheyi. A Lightweight Technique to Identify Equivalent Mutants. In 34th Brazilian Symposium on Software Engineering (CTIC-SBES’20). 2020

    PDF Video

  • 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

    PDF Poster

Awards

Service

Student Volunteer

  • ASE’35, 2020.