Collecting Statistics Over Runtime Executions.

Bernd Finkbeiner Sriram Sankaranarayanan Henny Sipma

Published in: Formal Methods Syst. Des. (2005)

Keyphrases

data collection
real time
data sets
data mining
knowledge base
lower bound
multiresolution
special case
statistical methods
spatial statistics