Xingming Wu

2016

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

  APSEC 2016·Xingming Wu, Zhenbo Xu, Dong Yan, Tianyong Wu, Jun Yan, Jian Zhang
  Cite