| 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 | 116 | 2022 |
| Lexecutor: Learning-guided execution B Souza, M Pradel Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023 | 27 | 2023 |
| 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 | 27 | 2021 |
| 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 | 10 | 2020 |
| Identifying mutation subsumption relations B Souza Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020 | 8 | 2020 |
| ChangeGuard: Validating code changes via pairwise learning-guided execution L Gröninger, B Souza, M Pradel Proceedings of the ACM on Software Engineering 2 (FSE), 936-956, 2025 | 5 | 2025 |
| Is mutation score a fair metric? B Souza Proceedings Companion of the 2019 ACM SIGPLAN International Conference on …, 2019 | 5 | 2019 |
| Treefix: Enabling Execution with a Tree of Prefixes B Souza, M Pradel Proceedings of the 47th IEEE/ACM International Conference on Software …, 2025 | 2 | 2025 |
| A Lightweight Technique to Identify Equivalent Mutants B Souza, R Gheyi Congresso Brasileiro de Software: Teoria e Prática (CBSoft), 225-234, 2020 | 1 | 2020 |
| Most higher mutants are useless for method-level mutation operators using weak mutation. BB SOUZA Universidade Federal de Campina Grande, 2020 | 1 | 2020 |
| Learning to detect text-code inconsistencies with weak and manual supervision BB SOUZA | | 2023 |
| Efficiently Finding Useless Mutants B Souza, R Gheyi Revista Eletrônica de Iniciação Científica em Computação 19 (2), 2021 | | 2021 |
