Follow
Beatriz Souza
Beatriz Souza
Universität Stuttgart
Verified email at cin.ufpe.br - Homepage
Title
Cited by
Cited by
Year
Code generation tools (almost) for free? a study of few-shot, pre-trained language models on code
P Bareiß, B Souza, M d'Amorim, M Pradel
arXiv preprint arXiv:2206.01335, 2022
372022
Identifying method-level mutation subsumption relations using Z3
R Gheyi, M Ribeiro, B Souza, M Guimarães, L Fernandes, M d’Amorim, ...
Information and Software Technology 132, 106496, 2021
192021
Code Generation Tools (Almost) for Free? A Study of Few-Shot, Pre-Trained Language Models on Code. CoRR abs/2206.01335 (2022)
P Bareiß, B Souza, M d’Amorim, M Pradel
arXiv preprint arXiv:2206.01335, 2022
152022
Lexecutor: Learning-guided execution
B Souza, M Pradel
Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023
52023
Identifying mutation subsumption relations
B Souza
Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020
52020
Is mutation score a fair metric?
B Souza
Proceedings Companion of the 2019 ACM SIGPLAN International Conference on …, 2019
52019
A large scale study on the effectiveness of manual and automatic unit test generation
B Souza, P Machado
Proceedings of the XXXIV Brazilian Symposium on Software Engineering, 253-262, 2020
42020
Learning to detect text-code inconsistencies with weak and manual supervision
BB SOUZA
Universidade Federal de Pernambuco, 2023
2023
Efficiently Finding Useless Mutants
B Souza, R Gheyi
Revista Eletrônica de Iniciação Científica em Computação 19 (2), 2021
2021
A Lightweight Technique to Identify Equivalent Mutants
B Souza, R Gheyi
Anais Estendidos do XI Congresso Brasileiro de Software: Teoria e Prática …, 2020
2020
Most higher mutants are useless for method-level mutation operators using weak mutation.
BB SOUZA
Universidade Federal de Campina Grande, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–11