The Floating-Point Extension of Symbolic Execution Engine for Bug Detection.

Xingming Wu, Zhenbo Xu, Dong Yan, Tianyong Wu, Jun Yan, Jian Zhang

Browse the full APSEC paper archive.