Solsmith: Solidity Random Program Generator for Compiler Testing

Lantian Li, Zhihao Liu, Zhongxing Yu

Smart contracts are computer programs that run on blockchain platforms, with Solidity being the most widely used language for their development. As blockchain technology advances,…