Mecanismo para la generación sistemática de pruebas funcionales de smart contracts en sistemas de gestión de publicaciones digitales | Publicación