Giuseppe Intilla. Learning process to select relevant subset of parameters in CPU verification. Rel. Andrea Bottino. Politecnico di Torino, Master of science program in Mathematical Engineering, 2023