Login / Signup
Symbolic Execution with Value-Range Analysis for Floating-Point Exception Detection.
Xingming Wu
Lian Li
Jian Zhang
Published in:
APSEC (2017)
Keyphrases
</>
floating point
symbolic execution
static analysis
test data generation