Yin, T. ., Zhang, C. ., Ni, Y. ., Wu, Y. ., Wong, T. ., Luo, X. ., … Guo, Y. . (2022). An Empirical Study on Implicit Constraints in Smart Contract Static Analysis. In 2022 IEEE/ACM 44th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) (pp. 31–32).