Curso: Introducción a la correspondencia entre las pruebas y los programas