enzet/symbolic-execution

Floating-Point Numbers

FedericoAureliano opened this issue · 0 comments

FedericoAureliano commented

Here are a few papers/tools that deal with floating-point numbers. I think their addition would be interesting!

  • Lakhotia, Kiran, et al. "Flopsy-search-based floating point constraint solving for symbolic execution." IFIP International Conference on Testing Software and Systems. Springer Berlin Heidelberg, 2010.
  • https://srg.doc.ic.ac.uk/projects/klee-cl/
  • Barr, Earl T., et al. "Automatic detection of floating-point exceptions." ACM SIGPLAN Notices. Vol. 48. No. 1. ACM, 2013.