1 code implementation • 19 Apr 2020 • Dominik Winterer, Chengyu Zhang, Zhendong Su
Among the 909 bugs found by OpFuzz, 130 were soundness bugs, the most critical bugs in SMT solvers, and 501 were in the default modes of the solvers.
Software Engineering Programming Languages
