A New Numerical Abstract Domain Based on Difference-Bound Matrices

Published in: CoRR (2007)

Keyphrases

upper bound
database
low level
domain specific
domain independent
data sets
genetic algorithm
objective function
domain knowledge
higher level
sensitivity analysis
original data
qualitative and quantitative