Beatriz Souza

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 7

Top Topics

Refinement Operators

Labor Intensive

Evolutionary Algorithm

Top Venues

Inf. Softw. Technol.

SPLASH (Companion Volume)

Publications

Beatriz Souza, Michael Pradel
LExecutor: Learning-Guided Execution. CoRR (2023)
Beatriz Souza, Michael Pradel
LExecutor: Learning-Guided Execution. ESEC/SIGSOFT FSE (2023)
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. CoRR (2022)
Rohit Gheyi, Márcio Ribeiro, Beatriz Souza, Marcio Augusto Guimarães, Leo Fernandes, Marcelo d'Amorim, Vander Alves, Leopoldo Teixeira, Baldoino Fonseca
Identifying method-level mutation subsumption relations using Z3. Inf. Softw. Technol. 132 (2021)
Beatriz Souza
Identifying Mutation Subsumption Relations. ASE (2020)
Beatriz Souza, Patrícia D. L. Machado
A Large Scale Study On the Effectiveness of Manual and Automatic Unit Test Generation. SBES (2020)
Beatriz Souza
Is mutation score a fair metric? SPLASH (Companion Volume) (2019)