There is a newer version of the record available.

Published January 27, 2023 | Version v4
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 (130.5 kB)

Name Size Download all
md5:81474741a739f755d15453951b06d3a5
129.4 kB Preview Download
md5:abfcd383f7152dd400cd8abe4a022749
1.1 kB Download