Mechanism for the Systematic Generation of Functional Tests of Smart Contracts in Digital Publication Management Systems | Publicación