Towards More Reliable Automated Program Repair by Integrating Static Analysis Techniques.

Omar I. Al-Bataineh Anastasiia Grishina Leon Moonen

Published in: QRS (2021)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
java card
malicious code
abstract interpretation
regular expressions
semi automatic
database
databases
artificial intelligence
open source
pattern matching
integrity constraints
test generation