A Unified Specification Mining Framework for Smart Contracts
Published:
Ye Liu, "A Unified Specification Mining Framework for Smart Contracts." In the proceedings of Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2022. http://franklinliu.github.io/files/specframework-ase.pdf