InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts
Published:
Ye Liu, Yi Li, "InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts." In the proceedings of Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2022. https://personal.ntu.edu.sg/yi_li/files/Liu2022IAD.pdf