Solsmith: Solidity Random Program Generator for Compiler Testing.

Lantian Li, Zhihao Liu, Zhongxing Yu

Browse the full QRS paper archive.