Login / Signup
Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing.
Muhammad Numair Mansur
Maria Christakis
Valentin Wüstholz
Fuyuan Zhang
Published in:
CoRR (2020)
Keyphrases
</>
modulo theories
automatic detection
open source
test cases
sat solvers
machine learning
source code
software systems
software projects