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}},
year = {2026},
note = {To appear},
}