TraceContract: A Scala DSL for Trace Analysis.

Howard Barringer Klaus Havelund

Published in: FM (2011)

Keyphrases

data analysis
statistical analysis
clustering algorithm
reinforcement learning
pattern recognition
quantitative analysis
databases
social networks
feature selection
image segmentation
objective function
information technology
relational databases
multiresolution
data warehouse