Login / Signup
Detecting critical bugs in SMT solvers using blackbox mutational fuzzing.
Muhammad Numair Mansur
Maria Christakis
Valentin Wüstholz
Fuyuan Zhang
Published in:
ESEC/SIGSOFT FSE (2020)
Keyphrases
</>
modulo theories
source code
automatic detection
artificial intelligence
evolutionary algorithm
test cases
software projects
answer set programming
statistical machine translation