Login / Signup

Efficient generation of error-inducing floating-point inputs via symbolic execution.

Hui GuoCindy Rubio-González
Published in: ICSE (2020)
Keyphrases
  • floating point
  • symbolic execution
  • fixed point
  • sparse matrices
  • test data generation
  • search algorithm
  • dynamic programming
  • error rate
  • fine grained
  • simulated annealing algorithm
  • instruction set