Descripción de la Colaboración: Estancia de 3 meses de Sergio Segura para obtener la mención de tesis europea. Se han publicado dos artículos en revistas indexadas y otro ha sido condicionalmente aceptado en la revista IEEE Transactions on Software Engineering (en el top 10 de su categoría).