Fuzzing SMT solvers via two-dimensional input space exploration.

Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, Charles Zhang

Browse the full ISSTA paper archive.