External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

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]

Authors

Xingming Wu

This author has not been identified. Look up 'Xingming Wu' in Google

Zhenbo Xu

This author has not been identified. Look up 'Zhenbo Xu' in Google

Dong Yan

This author has not been identified. Look up 'Dong Yan' in Google

Tianyong Wu

This author has not been identified. Look up 'Tianyong Wu' in Google

Jun Yan

This author has not been identified. Look up 'Jun Yan' in Google

Jian Zhang

This author has not been identified. Look up 'Jian Zhang' in Google
runs on