Random testing of a higher-order blockchain language (experience report). - Tram Hoang; Anton Trunov; Leonidas Lampropoulos; Ilya Sergey (Proc. ACM Program. Lang., 2022)