Discovering properties about arrays in simple programs.

Nicolas Halbwachs Mathias Péron

Published in: PLDI (2008)

Keyphrases

desirable properties
highly reliable
machine learning
feature selection
metadata
image segmentation
cellular automata
topological properties