There is a newer version of the record available.

Published January 27, 2023 | Version v2
Conference paper Open

Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations

Authors/Creators

  • 1. Korea University

Description

Diver is a black-box fuzzer for testing SMT Solvers. We provide the technical details of Diver in our paper "Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations" accepted in ICSE 2023.

The detailed instructions of the tool is available on the Github repository: https://github.com/kupl/Diver-Artifact

Files

Diver-Artifact.zip

Files (128.6 kB)

Name Size Download all
md5:27e2373afca48fd02aefd927dff28009
127.5 kB Preview Download
md5:abfcd383f7152dd400cd8abe4a022749
1.1 kB Download