Murxla: A Modular and Highly Extensible API Fuzzer for SMT Solvers.

Aina Niemetz Mathias Preiner Clark W. Barrett

Published in: CAV (2) (2022)

Keyphrases

modulo theories
highly flexible
source code
open source
high level
modular neural networks
database
data model
database systems
evolutionary algorithm
natural language processing
markup language
application programming interface