Murxla

A model-based API Fuzzer for SMT solvers.

Documentation Publications People

People

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