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

Aina Niemetz, Mathias Preiner, Clark W. Barrett

Browse the full CAV paper archive.