Execution-Free Program Repair.

Li Huang Bertrand Meyer Ilgiz Mustafin Manuel Oriol

Published in: SIGSOFT FSE Companion (2024)

Keyphrases

program execution
execution traces
control flow
symbolic execution
data flow
website
execution model
data sets
database systems
expert systems
programming language
test cases
computer programs