@inproceedings{ICSE-Solidity,
  author       = {Haoyang Ma and
                  Alastair F. Donaldson and
                  Qingchao Shen and
                  Yongqiang Tian and
                  Junjie Chen and
                  Shing-Chi Cheung},
  title        = {Bounded Exhaustive Random Program Generation for Testing Solidity Compilers},
  booktitle    = {Proceedings of the 48th IEEE/ACM International Conference on Software Engineering, ICSE 2026, Rio de Janeiro, Brazil},
  publisher    = {{ACM}},
  year         = {2026},
  note         = {To appear},
}