Login / Signup
Fuzzing SMT solvers via two-dimensional input space exploration.
Peisen Yao
Heqing Huang
Wensheng Tang
Qingkai Shi
Rongxin Wu
Charles Zhang
Published in:
ISSTA (2021)
Keyphrases
</>
space exploration
three dimensional
modulo theories
obstacle avoidance
multi dimensional
mathematical model