Impact and Performance of Randomized Test-Generation Using Prolog. - Marcus Gelderie; Maximilian Luff; Maximilian Peltzer (LOPSTR, 2024)