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