Login / Signup

Fuzzing SMT solvers via two-dimensional input space exploration.

Peisen YaoHeqing HuangWensheng TangQingkai ShiRongxin WuCharles Zhang
Published in: ISSTA (2021)
Keyphrases
  • space exploration
  • three dimensional
  • modulo theories
  • obstacle avoidance
  • multi dimensional
  • mathematical model