Login / Signup
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