Xingming Wu, Zhenbo Xu, Dong Yan, Tianyong Wu, Jun Yan, Jian Zhang. The Floating-Point Extension of Symbolic Execution Engine for Bug Detection. In Alex Potanin, Gail C. Murphy, Steve Reeves, Jens Dietrich, editors, 23rd Asia-Pacific Software Engineering Conference, APSEC 2016, Hamilton, New Zealand, December 6-9, 2016. pages 265-272, IEEE Computer Society, 2016. [doi]
@inproceedings{WuXYWYZ16, title = {The Floating-Point Extension of Symbolic Execution Engine for Bug Detection}, author = {Xingming Wu and Zhenbo Xu and Dong Yan and Tianyong Wu and Jun Yan and Jian Zhang}, year = {2016}, doi = {10.1109/APSEC.2016.045}, url = {http://dx.doi.org/10.1109/APSEC.2016.045}, researchr = {https://researchr.org/publication/WuXYWYZ16}, cites = {0}, citedby = {0}, pages = {265-272}, booktitle = {23rd Asia-Pacific Software Engineering Conference, APSEC 2016, Hamilton, New Zealand, December 6-9, 2016}, editor = {Alex Potanin and Gail C. Murphy and Steve Reeves and Jens Dietrich}, publisher = {IEEE Computer Society}, isbn = {978-1-5090-5575-3}, }