Random testing of a higher-order blockchain language (experience report)

Tram Hoang, Anton Trunov, Leonidas Lampropoulos, Ilya Sergey. Random testing of a higher-order blockchain language (experience report). Proceedings of the ACM on Programming Languages, 6(ICFP):886-901, 2022. [doi]

Abstract

Abstract is missing.