his directory contains the semantic coverage 32 of the twenty test suites T 1 ... T 20 of jTerminal for 33 partial correctness with respect to M50; these files are 34 named PAR50T1 ... PAR
It contains an analysis to TrainTicket benchmark, selenium test suites, and Gatling tests. It lists the endpoints and their intersections with each others. It is generated for the approach that calcul
Test-Comp 2023 Test Suites This file describes the contents of an archive of the 5th Competition on Software Testing (Test-Comp 2023). https://test-comp.sosy-lab.org/2023/ The competition was or
