SV-Benchmarks: Benchmark Set for Software Verification and Testing (SV-COMP 2023 and Test-Comp 2023)
Dirk Beyer · Zenodo (CERN European Organization for Nuclear Research) · 2023
Full benchmark set of the 12th Intl. Competition on Software Verification (SV-COMP 2023) and the 5th Intl. Competition on Software Testing (Test-Comp 2023). Licenses are included with the source code.