Experimental Results of the paper "Integrating Parallel Trace Abstraction and Explicit Exploration for Test-Case Generation"

This artifact contains the raw data produced by our evaluation for the paper "Integrating Parallel Trace Abstraction and Explicit Exploration for Test-Case Generation". It contains logfiles, test-cases and benchexec result files for all tools and configurations. Uncompressed this artifact has more than 50GB and contains millions of files (test-cases). For the reproduction package of our paper visit: https://doi.org/10.5281/zenodo.21454053 DOI 10.5281/zenodo.21454053 This artifact is licensed under the Creative Commons Attribution 4.0 International license.