Static slack-based instrumentation of programs.

Hany Kashif Johnson J. Thomas Hiren D. Patel Sebastian Fischmeister

Published in: ETFA (2015)

Keyphrases

computer programs
data sets
loss function
neural network
data mining
information systems
image processing
free software
feature selection
decision making
programming environment
fixpoint
intermediate level
automatic programming