Login / Signup

Detecting critical bugs in SMT solvers using blackbox mutational fuzzing.

Muhammad Numair MansurMaria ChristakisValentin WüstholzFuyuan 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