29 citations · 31 across the 3 of their papers we have counts for
3 papers
cs.SE2026
FlyCatcher: Neural Inference of Runtime Checkers from Tests
Beatriz Souza, Chang Lou, Suman Nath +1
Complex software systems often suffer from silent failures, i.e., violations of the intended semantics that do not cause explicit errors. A promising approach to detect such errors…
cs.SE2023★ 2 cited
LExecutor: Learning-Guided Execution
Beatriz Souza, Michael Pradel
Executing code is essential for various program analysis tasks, e.g., to detect bugs that manifest through exceptions or to obtain execution traces for further dynamic analysis. Ho…
cs.SE2022★ 29 cited
Code Generation Tools (Almost) for Free? A Study of Few-Shot, Pre-Trained Language Models on Code
Patrick Bareiß, Beatriz Souza, Marcelo d'Amorim +1
Few-shot learning with large-scale, pre-trained language models is a powerful way to answer questions about code, e.g., how to complete a given code example, or even generate code…