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).