Login / Signup
A data set of program invariants and error paths.
Dirk Beyer
Published in:
MSR (2019)
Keyphrases
</>
data sets
imperative programs
benchmark data sets
real world
error rate
training set
error bounds
training data
affine invariant
moment invariants
programming environment
multiscale
microarray data
affine transformation
computer programs
relative error
error measure
small data sets
information systems