Smart Tests for a Smart Contract Language. - Miguel Valido; António Ravara (FMBC, 2026)