Impact and Performance of Randomized Test-Generation using Prolog
by Marcus, Gelderie
Gelderie, M., Luff, M., Peltzer, M. (2024).
In: Bowles, J., Søndergaard, H. (eds) Logic-Based Program Synthesis and Transformation. LOPSTR 2024. Lecture Notes in Computer Science, vol 14919. Springer, Cham. https://doi.org/10.1007/978-3-031-71294-4_10