1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.SE2025★ 1 cited
Treefix: Enabling Execution with a Tree of Prefixes
Beatriz Souza, Michael Pradel
The ability to execute code is a prerequisite for various dynamic program analyses. Learning-guided execution has been proposed as an approach to enable the execution of arbitrary…
cs.SE2024
ChangeGuard: Validating Code Changes via Pairwise Learning-Guided Execution
Lars Gröninger, Beatriz Souza, Michael Pradel
Code changes are an integral part of the software development process. Many code changes are meant to improve the code without changing its functional behavior, e.g., refactorings…