03552nM2.01200024      h001 BV050519315\x1e002a20251112\x1e004 20251210\x1e026 BVBBV05051
9315\x1e030 a||u|||||||17\x1e037bund\x1e050 ||||||||g|||||\x1e051 m|||||||\x1e060 \x1faComputerdat
en\x1fbcod\x1e061 \x1faComputermedien\x1fbc\x1e062 \x1faOnline-Ressource\x1fbcr\x1e064a\x1faForschungsdaten
\x1f9(DE-588)1098579690\x1e078nFoDa\x1e078qLMU-FoDa\x1e100 Dirk, Beyer\x1e331 Test Suites from 
Test-Generation Tools (Test-Comp 2025)\x1e359 Beyer Dirk\x1e419 \x1faM\xc9unchen\x1fbUniversit\xc9
atsbibliothek der LMU M\xc9unchen\x1fc2025\x1e425a2025\x1e552a10.5282/ubm/data.667\x1e655e\x1fuhtt
ps://doi.org/10.5282/ubm/data.667\x1fxVerlag\x1fzkostenfrei\x1f3Volltext\x1fA0\x1e701b\x1fa500\x1f2DD
Cbio01\x1e701b\x1fa620\x1f2DDCbio01\x1e750bTest-Comp 2025 - Test Suites This file describes 
the contents of an archive of the 7th Competition on Software Testing (Test-Comp
 2025). https://test-comp.sosy-lab.org/2025/ The competition was organized by Di
rk Beyer, LMU Munich, Germany. More information is available in the following ar
ticle: Dirk Beyer. Advances in Automatic Software Testing: Test-Comp 2025. In Pr
oceedings of the 28th International Conference on Fundamental Approaches to Soft
ware Engineering (FASE 2025, Paris, May 38), 2025. Springer. doi:10.1007/978-3-0
31-90900-9_13 https://doi.org/10.1007/978-3-031-90900-9_13Copyright (C) 2025 Dir
k Beyer https://www.sosy-lab.org/people/beyer/ SPDX-License-Identifier: CC-BY-4.
0 https://spdx.org/licenses/CC-BY-4.0.htmlContents - LICENSE.txt: specifies the 
license - README.txt: this file- fileByHash/: This directory contains test suite
s (witnesses for coverage).^\x1e753bEach test witness in this directory is stored i
n a file whose name is the SHA2 256-bit hash of its contents followed by the fil
ename extension .zip. The format of each test suite is described on the format w
eb page: https://gitlab.com/sosy-lab/software/test-format A test suite contains 
also metadata in order to relate it to the test task for which it was produced. 
- witnessInfoByHash/: This directory contains for each test suite (witness) in d
irectory witnessFileByHash/ a record in JSON format (also using the SHA2 256-bit
 hash of the witness as filename, with .json as filename extension) that contain
s the meta data. - witnessListByProgramHashJSON/: For convenient access to all t
est suites for a certain program, this directory represents a function that maps
 each program (via its SHA2256-bit hash) to a set of test suites (JSON records f
or test suites as described above) that the test-generation tools have produced 
for that program.^\x1e756bFor each program for which test suites exist, the directo
ry contains a JSON file (using the SHA2 256-bit hash of the program as filename,
 with .json as filename extension) that contains all JSON records for test suite
s for that program. A reduced version of this data set, in which the 40 000 larg
est test suites were excluded, is available on Zenodo: https://doi.org/10.5281/z
enodo.15034431. A similar data structure was used by SV-COMP and is described in
 the following article: Dirk Beyer. A Data Set of Program Invariants and Error P
aths. In Proceedings of the 2019 IEEE/ACM 16th International Conference on Minin
g Software Repositories (MSR 2019, Montreal, Canada, May 26-27), pages 111-115, 
2019. IEEE. https://doi.org/10.1109/MSR.2019.00026Related ArchivesOverview of ar
chives from Test-Comp 2025 that are available at Zenodo:- https://doi.org/10.528
1/zenodo.15034431: Test Suites from Test-Comp 2025 Test-Generation Tools.^\x1e787 \x1f
iis identical to\x1fohttps://data.ub.uni-muenchen.de/667/1/testcomp25-witnesses.zip
\x1fnURL\x1f9BV000000000\x1e787 \x1fiis identical to\x1fohttps://data.ub.uni-muenchen.de/667/4/
metadata.xml\x1fnURL\x1f9BV000000000\x1e\x1d