Login / Signup

Symbolic Execution with Value-Range Analysis for Floating-Point Exception Detection.

Xingming WuLian LiJian Zhang
Published in: APSEC (2017)
Keyphrases
  • floating point
  • symbolic execution
  • static analysis
  • test data generation