%0 Conference Paper %1 conf/apsec/WuXYWYZ16 %A Wu, Xingming %A Xu, Zhenbo %A Yan, Dong %A Wu, Tianyong %A Yan, Jun %A Zhang, Jian %B APSEC %D 2016 %E Potanin, Alex %E Murphy, Gail C. %E Reeves, Steve %E Dietrich, Jens %I IEEE Computer Society %K dblp %P 265-272 %T The Floating-Point Extension of Symbolic Execution Engine for Bug Detection. %U http://dblp.uni-trier.de/db/conf/apsec/apsec2016.html#WuXYWYZ16 %@ 978-1-5090-5575-3

@inproceedings{conf/apsec/WuXYWYZ16, added-at = {2018-07-11T00:00:00.000+0200}, author = {Wu, Xingming and Xu, Zhenbo and Yan, Dong and Wu, Tianyong and Yan, Jun and Zhang, Jian}, biburl = {https://www.bibsonomy.org/bibtex/2dd4cbd3358ed6c5df1710e9bd90ccb8a/dblp}, booktitle = {APSEC}, crossref = {conf/apsec/2016}, editor = {Potanin, Alex and Murphy, Gail C. and Reeves, Steve and Dietrich, Jens}, ee = {https://doi.org/10.1109/APSEC.2016.045}, interhash = {4f57c35374140b6bdd0aa3135f7376d2}, intrahash = {dd4cbd3358ed6c5df1710e9bd90ccb8a}, isbn = {978-1-5090-5575-3}, keywords = {dblp}, pages = {265-272}, publisher = {IEEE Computer Society}, timestamp = {2019-10-17T15:53:06.000+0200}, title = {The Floating-Point Extension of Symbolic Execution Engine for Bug Detection.}, url = {http://dblp.uni-trier.de/db/conf/apsec/apsec2016.html#WuXYWYZ16}, year = 2016 }