5 citations · 6 across the 3 of their papers we have counts for
1 paper · 1 filter
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…