Random Testing of a Higher-Order Blockchain Language (Experience Report)[J] PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL 2022(6) Hoang, Tram Trunov, Anton Lampropoulos, Leonidas Sergey, Ilya
