A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Floating-point symbolic execution: A case study in N-version programming
2017
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE)
Symbolic execution is a well-known program analysis technique for testing software, which makes intensive use of constraint solvers. Recent support for floating-point constraint solving has made it feasible to support floating-point reasoning in symbolic execution tools. In this paper, we present the experience of two research teams that independently added floating-point support to KLEE, a popular symbolic execution engine. Since the two teams independently developed their extensions, this
doi:10.1109/ase.2017.8115670
dblp:conf/kbse/LiewSCDZW17
fatcat:2mzqrrregjaxhiug5ujg3cf6pa