Saved in:
| Main Author: | |
|---|---|
| Format: | Recurso digital |
| Language: | |
| Published: |
Zenodo
2026
|
| Online Access: | https://doi.org/10.5281/zenodo.19217830 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- <p>Reproduction package and Data for the ASE 2026 submission:</p> <p>"Integrating Parallel Trace Abstraction and Explicit Exploration for Test-Case Generation"</p> <div> <div> <ul> <li>The supplementary material contains, the tools, tables, scripts, and figures used in our evaluation.</li> </ul> </div> <div> <ul> <li>The artifact contains the benchmarks, and instruction on how to run and reproduce our experiments. </li> </ul> </div> <div> <ul> <li>The original results, testcases and logfiles can be found at: <ul> <li>DOI: 10.5281/zenodo.19341041</li> <li>size > 33GB</li> </ul> </li> </ul> </div> <div> <ul> <li>This Artifact is designed to run on the **TACAS 2023 AEC VM**: <ul> <li>https://zenodo.org/records/7113223</li> </ul> </li> </ul> </div> </div> <ul> <li>The used benchmark set (Test-Comp 2025 Benchmarks) can be found at: <ul> <li>https://doi.org/10.5281/zenodo.15034421</li> <li>and at https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks/-/tree/testcomp25?ref_type=tags</li> </ul> </li> </ul>