Email Record: Implementación y automatización de un método de detección de errores determinístico para procesadores /