Login / Signup
Towards More Reliable Automated Program Repair by Integrating Static Analysis Techniques.
Omar I. Al-Bataineh
Anastasiia Grishina
Leon Moonen
Published in:
CoRR (2021)
Keyphrases
</>
static analysis
dynamic analysis
symbolic execution
source code
malicious code
abstract interpretation
java card
test generation
regular expressions
databases
information extraction
semi automatic
test suite