Generación de un banco de pruebas para la CPUCRV3 - Chinchilla Gutiérrez, Sebastián 1986- (2008)