Kevin Luciani. Software test library verification. Rel. Maurizio Martina, Riccardo Cantoro. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Elettronica (Electronic Engineering), 2019