Login / Signup
Neural Program Generation Modulo Static Analysis.
Rohan Mukherjee
Yeming Wen
Dipak Chaudhari
Thomas W. Reps
Swarat Chaudhuri
Christopher M. Jermaine
Published in:
NeurIPS (2021)
Keyphrases
</>
static analysis
dynamic analysis
symbolic execution
source code
malicious code
java card
network architecture
neural network
test suite
test generation
regular expressions
third party
generation algorithm
databases
data sets
data management
artificial intelligence