Published June 7, 2024
| Version v1
Software
Open
Resources for Automatic Feature-Aware Test Suites for Static Analysis Tools via Dynamic Analysis
Creators
Description
This is the software and dataset for our submission to ASE 2024, Automatic Feature-Aware Test Suites for Static Analysis Tools via Dynamic Analysis.
SABenchmarkProducer-master.zip contains the software for performing dynamic analysis and comparing static and dynamic results. A README.md is within describing the usage.
SoundProof.zip is our dataset of ground truths from DaCapo, produced by running our software on executions of the DaCapo suite.
Files
SABenchmarkProducer-master.zip
Files
(2.6 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:f68b37212f28d4270472480f29ad17c6
|
84.5 kB | Preview Download |
|
md5:871253a354c5c0e19ee99452a9f4d246
|
2.6 MB | Preview Download |