1. ZaligVinder: A generic test framework for string solvers. Issue 4 (28th October 2021) Authors: Kulczynski, Mitja; Manea, Florin; Nowotka, Dirk; Poulsen, Danny Bøgsted Other Names: Bertolino Antonia guestEditor.; Hong Shin guestEditor.; Mathur Aditya P. guestEditor. Journal: Journal of software Issue: Volume 35:Issue 4(2023) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗