SolSEE: A Source-Level Symbolic Execution Engine for Solidity
Shang-Wei Lin, Palina Tolmach, Ye Liu, Yi Li, In the proceedings of Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE), 2022.