Debugging temporal specifications with concept analysis.

Glenn Ammons David Mandelin Rastislav Bodík James R. Larus

Published in: PLDI (2003)

Keyphrases

data sets
learning algorithm
high level
similarity measure
multiscale
relational databases
image analysis
statistical analysis
static analysis