Predicting Program Properties from "Big Code".

Veselin Raychev Martin T. Vechev Andreas Krause

Published in: POPL (2015)

Keyphrases

neural network
static analysis
desirable properties
program understanding
machine learning
genetic algorithm
big data
computer programs
program execution
program code
source code
control flow
mixed mode