SolSEE: A Source-Level Symbolic Execution Engine for Solidity
Published:
Shang-Wei Lin, Palina Tolmach, Ye Liu, Yi Li, "SolSEE: A Source-Level Symbolic Execution Engine for Solidity." In the proceedings of Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE), 2022. https://personal.ntu.edu.sg/yi_li/files/Lin2022SAS.pdf