Master Computer Science



The following thesis was written by a student in the 2021-2022 class of the Master Computer Science programme at Leiden University.


Thesis details

TitleAutomatically testing libraries symbolically
StudentVos, L.
ProgrammeMaster Computer Science
Year2021-2022
Supervisorsdr. O. Gadyatskaya (first supervisor)
dr. K.F.D. Rietveld (second supervisor)
Thesis Open Thesis PDF

Citation details

Vos, L., Automatically testing libraries symbolically, Thesis Master Computer Science, LIACS, Leiden University, 2022.