Roberth Reynel Rosero Osorio. On the automatic generation of testing programs for embedded system = On the automatic generation of testing programs for embedded system. Rel. Edgar Ernesto Sanchez Sanchez, Annachiara Ruospo. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Elettronica (Electronic Engineering), 2019