Una auditoría de software que abrió nuevas líneas de investigación

Investigadores del ICC colaboraron en el proyecto de apertura de las especificaciones de software de Microsoft, que se realizó entre 2008 y 2013, a partir de un fallo antimonopolio hacia la compañía. El trabajo de revisión de los protocolos, documentación y prueba generalizada de productos por parte de los investigadores, hizo surgir interesantes casos de estudio y trabajos de doctorado que continúan en la actualidad en el Grupo de Ingeniería de Software del Instituto.