Murxla: A Modular and Highly Extensible API Fuzzer for SMT Solvers
Authors: Aina Niemetz, Mathias Preiner and Clark Barrett
Paper Information
| Title: | Murxla: A Modular and Highly Extensible API Fuzzer for SMT Solvers |
| Authors: | Aina Niemetz, Mathias Preiner and Clark Barrett |
| Proceedings: | CAV 2022 All Papers |
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
| Keywords: | SMT Solving, Automated Testing, Fuzz Testing |
| Pages: | 14 |
| Talk: | Aug 08 17:20 (Session 98A: Probabilistic Techniques) |
| Paper: |  |