Beatriz Souza

Beatriz Souza

PhD Student in Computer Science

Universität Stuttgart

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.

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

    PDF Slides

  • 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

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

    PDF

Awards

Service

Student Volunteer

  • ASE’35, 2020.