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