Implementación y automatización de un método de detección de errores determinístico para procesadores - Arguedas Cuendis, Ernesto 1991- (2017)