Test-Suite Generators and Validator of the 4th Intl. Competition on Software Testing (Test-Comp 2022)

This archive contains the test-suite generators and validator that participated in the 4th Competition on Software Testing (Test-Comp 2022).

https://test-comp.sosy-lab.org/2022/

The competition was run by Dirk Beyer, LMU Munich, Germany.
More information is available in the following article:
Dirk Beyer. Advances in Automatic Software Testing: Test-Comp 2022. In Proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering (FASE 2022, Munich, April 2 - 7), 2021. Springer.

Copyright (C) Dirk Beyer
https://www.sosy-lab.org/people/beyer/

Other Archives

Overview over archives from Test-Comp 2022 that are available at Zenodo:

• https://doi.org/10.5281/zenodo.5831010 Test Suites from Test-Comp 2022 Test-Generation Tools. Witness store (containing the generated test suites)
• https://doi.org/10.5281/zenodo.5831012 Results of the 4th Intl. Competition on Software Testing (Test-Comp 2022). Results (XML result files, log files, file mappings, HTML tables)
• https://doi.org/10.5281/zenodo.5831003 SV-Benchmarks: Benchmark Set of SV-COMP 2022 and Test-Comp 2022. Test tasks, version testcomp22
• https://doi.org/10.5281/zenodo.5720267 BenchExec, version 3.10. Benchmarking framework

All benchmarks were executed for Test-Comp 2022 https://test-comp.sosy-lab.org/2022/ by Dirk Beyer, LMU Munich, based on the following components:

• https://gitlab.com/sosy-lab/test-comp/archives-2022 testcomp22 c211efbc
• https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks testcomp22 ad265d07
• https://gitlab.com/sosy-lab/test-comp/bench-defs testcomp22 93f581b9
• https://gitlab.com/sosy-lab/software/benchexec 3.10 4e8716bd
• https://gitlab.com/sosy-lab/benchmarking/competition-scripts testcomp22 2022c698
• https://gitlab.com/sosy-lab/test-comp/test-format testcomp22 2895be41

Contact

Feel free to contact me in case of questions: https://www.sosy-lab.org/people/beyer/