Finding deep compiler bugs via guided stochastic program mutation.

Vu Le Chengnian Sun Zhendong Su

Published in: OOPSLA (2015)

Keyphrases

programs written
software systems
evolutionary algorithm
source code
static analysis
general purpose
genetic algorithm
test cases
programming language
genetic algorithm ga
differential evolution
neural network
fitness function
software projects
computer programs
database systems
stochastic model
highly optimized