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
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.