Published January 27, 2023 | Version v5
Conference paper Open

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

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 (2.9 MB)

Name Size Download all
md5:23de6ffcaaab7d402a33a3a91c11cdd9
1.5 MB Preview Download
md5:abfcd383f7152dd400cd8abe4a022749
1.1 kB Download
md5:e048fc1ad5195f4ba6b21c2c46d0fef3
1.4 MB Preview Download