Program Repair Guided by Datalog-Defined Static Analysis.

Yu Liu Sergey Mechtaev Pavle Subotic Abhik Roychoudhury

Published in: ESEC/SIGSOFT FSE (2023)

Keyphrases

static analysis
dynamic analysis
symbolic execution
source code
malicious code
java card
regular expressions
test suite
abstract interpretation
expressive power
deductive databases
real world
open source
logic programming
query answering
database
integrity constraints
query language
data sets