Impact and Performance of Randomized Test-Generation using Prolog

Marcus Gelderie, Maximilian Luff, Maximilian Peltzer

We study randomized generation of sequences of test-inputs to a system using Prolog. Prolog is a natural fit to generate test-sequences that have complex logical inter-dependent st…