Data-Driven Loop Invariant Inference with Automatic Feature Synthesis.

Saswat Padhi Todd D. Millstein

Published in: CoRR (2017)

Keyphrases

data driven
invariant features
fully automatic
feature vectors
data sets
affine transformation
invariant descriptors
program synthesis
inference mechanism
grammatical inference
moment invariants
affine invariant
probabilistic inference
semi automatic
probabilistic model
multiscale
decision trees