Murxla

A model-based API Fuzzer for SMT solvers.


People

Aina Niemetz (Stanford University)
Mathias Preiner (Stanford University)