Murxla

A model-based API Fuzzer for SMT solvers.

Bibtex

If you are citing Murxla, please use the following BibTex entry:

@inproceedings{DBLP:conf/cav/NiemetzPB22,
  author    = {Aina Niemetz and
               Mathias Preiner and
               Clark W. Barrett},
  editor    = {Sharon Shoham and
               Yakir Vizel},
  title     = {Murxla: {A} Modular and Highly Extensible {API} Fuzzer for {SMT} Solvers},
  booktitle = {Computer Aided Verification - 34th International Conference, {CAV}
               2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {13372},
  pages     = {92--106},
  publisher = {Springer},
  year      = {2022},
  url       = {https://doi.org/10.1007/978-3-031-13188-2\_5},
  doi       = {10.1007/978-3-031-13188-2\_5},
  timestamp = {Tue, 09 Aug 2022 17:05:51 +0200},
  biburl    = {https://dblp.org/rec/conf/cav/NiemetzPB22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Publications

Aina Niemetz, Mathias Preiner, Clark Barrett. Murxla: A Modular and Highly Extensible API Fuzzer for SMT Solvers. CAV: 92-106. (2022)
[ PDF ] [ DOI ] [ Bibtex ] [ Artifact ]