TY  - RPRT
TI  - Bounded Exhaustive Random Program Generation for Testing Solidity Compilers
AU  - Haoyang Ma
AU  - Alastair F. Donaldson
AU  - Qingchao Shen
AU  - Yongqiang Tian
AU  - Junjie Chen
AU  - Shing-Chi Cheung
PY  - 2025
DO  - 10.1145/3744916.3773237
UR  - https://arxiv.org/abs/2503.20332
ID  - 2503.20332
ER  -