Failure-directed program trimming.

Kostas Ferles Valentin Wüstholz Maria Christakis Isil Dillig

Published in: ESEC/SIGSOFT FSE (2017)

Keyphrases

genetic algorithm
data structure
artificial neural networks
root cause
program execution
real time
learning algorithm
artificial intelligence
decision trees
high level
special case
static analysis
java programs
program understanding