Leveraging Static Analysis for Bug Repair.

Ruba Mutasim Gabriel Synnaeve David Pichardie Baptiste Rozière

Published in: CoRR (2023)

Keyphrases

static analysis
source code
dynamic analysis
open source
software systems
software projects
test generation
malicious code
symbolic execution
bug reports
java card
real world
abstract interpretation
bug localization
domain knowledge
software engineering
xml documents
data sets