Tests4Py: A Benchmark for System Testing. - Marius Smytzek; Martin Eberlein; Batuhan Serce; Lars Grunske; Andreas Zeller (SIGSOFT FSE Companion, 2024)