Neural Program Generation Modulo Static Analysis.

Rohan Mukherjee Yeming Wen Dipak Chaudhari Thomas W. Reps Swarat Chaudhuri Chris Jermaine

Published in: CoRR (2021)

Keyphrases

static analysis
dynamic analysis
symbolic execution
source code
malicious code
abstract interpretation
network architecture
neural network
regular expressions
test generation
test suite
java card
real world
generation algorithm
relational databases
training data
data sets