PRECIS: Inferring invariants using program path guided clustering.

Parth Sagdeo Viraj Athavale Sumant Kowshik Shobha Vasudevan

Published in: ASE (2011)

Keyphrases

k means
clustering algorithm
clustering method
data clustering
computer vision
graph theoretic
unsupervised learning
document clustering
pattern recognition
categorical data
data analysis
data objects
spectral clustering
computer programs
machine learning
program execution
geometric invariants
imperative programs