Login / Signup
Toward efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling.
Claire Fang Fang
Rob A. Rutenbar
Markus Püschel
Tsuhan Chen
Published in:
DAC (2003)
Keyphrases
</>
static analysis
dynamic analysis
source code
symbolic execution
artificial intelligence
regular expressions
software engineering
test suite
java card