Impact and Performance of Randomized Test Generation Using Prolog. - GELDERIE, MARCUS; LUFF, MAXIMILIAN; PELTZER, MAXIMILIAN (Theory & Practice of Logic Programming, 2025)