Bounded Exhaustive Random Program Generation for Testing Solidity Compilers
@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}},
pages = {3410–3422},
year = {2026},
doi = {10.1145/3744916.3773237},
}