TY - RPRT TI - Impact and Performance of Randomized Test-Generation using Prolog AU - Marcus Gelderie AU - Maximilian Luff AU - Maximilian Peltzer PY - 2025 UR - https://arxiv.org/abs/2507.13178 ID - 2507.13178 ER -