These are the models and raw results achieved by participating tools in the CT competition at the 12th International Workshop on Combinatorial Testing (IWCT 2023). The file ct-comp-iwct2023-models.t
The dataset Uropygi Collection was downloaded from the following source:Bonaldo A (2023). Museu Paraense Emilio Goeldi - Uropygi Collection. Version 4.2. Museu Paraense Emílio Goeldi. Occurrence datas
Test Suites This file describes the contents of an archive of the 3rd Competition on Software Testing (Test-Comp 2021). https://test-comp.sosy-lab.org/2021/ The competition was run by Dirk Beyer,