Metamorphic Testing for Smart Contracts: A User-Behavior-Sequence-Aware Approach and Automation Tool. - Chang-Ai Sun; Yuanrui Ji; Xinhui Zheng; Huai Liu (IEEE Trans. Serv. Comput., 2025)