Published January 15, 2025
| Version v4
Software
Open
[artifact] Scalable SMT Sampling for Floating-point Formulas via Coverage-guided Fuzzing
Authors/Creators
- 1. Imperial College London
Description
Download the artifact.zip file, unzip it in a new folder, and follow the instructions in README-artifact.md.