The testing of distributed ledger platforms and smart contracts is emerging as one of the major challenges in software quality assurance for...