Failure-Directed Program Trimming (Extended Version).

Kostas Ferles Valentin Wüstholz Maria Christakis Isil Dillig

Published in: CoRR (2017)

Keyphrases

automatic programming
real world
image processing
database
information systems
decision making
case study
relational databases
artificial neural networks
probability distribution
computer programs
programming environment
programming course
failure prediction