Symbolic Execution with Value-Range Analysis for Floating-Point Exception Detection.

Xingming Wu, Lian Li, Jian Zhang

Browse the full APSEC paper archive.