Synthesizing Imperative Programs from Examples Guided by Static Analysis.

Sunbeom So Hakjoo Oh

Published in: SAS (2017)

Keyphrases

static analysis
imperative programs
dynamic analysis
source code
symbolic execution
test generation
malicious code
abstract interpretation
regular expressions
java card
artificial intelligence
dynamic logic
data sets
databases
open source
dynamic environments