Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Recurso digital |
| Langue: | |
| Publié: |
Zenodo
2026
|
| Accès en ligne: | https://doi.org/10.5281/zenodo.19217830 |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866901932582371328 |
|---|---|
| author | Annonymous |
| author_facet | Annonymous |
| 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> |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_19217830 |
| institution | Zenodo |
| language | |
| publishDate | 2026 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | Replication Package for "Integrating Parallel Trace Abstraction and Explicit Exploration for Test-Case Generation" Annonymous <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> |
| title | Replication Package for "Integrating Parallel Trace Abstraction and Explicit Exploration for Test-Case Generation" |
| url | https://doi.org/10.5281/zenodo.19217830 |