Software para arquitecturas basadas en procesadores de múltiples núcleos : detección automática de errores de concurrencia - Frati, Fernando Emmanuel (2015)