An Application of Interval Analysis in Software Static Analysis.

Yawen Wang Yunzhan Gong Junliang Chen Qing Xiao Zhaohong Yang

Published in: EUC (2) (2008)

Keyphrases

static analysis
interval analysis
source code
dynamic analysis
test suite
autocalibration
regular expressions
abstract interpretation
artificial intelligence
open source
constraint propagation
database
constrained optimization
metadata