Jie Ma, Ningyu He, Jinwen Xi, Mingzhe Xing, Haoyu Wang, Ying Gao, Yinliang Yue: OpDiffer: LLM-Assisted Opcode-Level Differential Testing of Ethereum Virtual Machine. CoRR abs/2504.12034 (2025)