There is a newer version of the record available.

Published January 27, 2023 | Version v3
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. The technical details of Diver can be found in our paper accepted to ICSE 2023: "Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations"

The artifact is also provided in the Github repository: https://github.com/kupl/Diver-Artifact

Files

Diver-Artifact.zip

Files (128.4 kB)

Name Size Download all
md5:04e66d8c2cc64bf5611b739176ffd77b
127.2 kB Preview Download
md5:abfcd383f7152dd400cd8abe4a022749
1.1 kB Download