Solsmith: Solidity Random Program Generator for Compiler Testing - Li, Lantian; Liu, Zhihao; Yu, Zhongxing (2025 25th International Conference on Software Quality, Reliability, and Security Companion (QRS-C), Software Quality, Reliability, and Security Companion (QRS-C), 2025 25th International Conference on, QRS-C, 2025)