Las pruebas de un programa demuestran la presencia de errores, no su ausencia