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
SupervisorsGadyatskaya, dr. O. (Olga)
Rietveld, dr. K.F.D. (Kristian)
Thesis Open Thesis PDF

Citation details

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