IDOL: Improved Different Optimization Levels Testing for Solidity Compilers

Lantian Li, Yejian Liang, Zhongxing Yu

As blockchain technology continues to evolve and mature, smart contracts have become a key driving force behind the digitization and automation of transactions. Smart contracts gre…