Zeqin Liao

13 papers A* 1A 2Journal 10
YearRankTypeTitle / Venue / Authors
2025 J jnl
An Empirical Study on Embodied Artificial Intelligence Robot (EAIR) Software Bugs.
CoRR
Zeqin Liao, Zibin Zheng, Peifan Reng, Henglong Liang, Zixu Gao, Zhixiang Chen, Wei Li, Yuhong Nan
2025 J jnl
Augmenting Smart Contract Decompiler Output Through Fine-Grained Dependency Analysis and LLM-Facilitated Semantic Recovery.
IEEE Trans. Software Eng.
Zeqin Liao, Yuhong Nan, Zixu Gao, Henglong Liang, Sicheng Hao, Peifan Reng, Zibin Zheng
2025 J jnl
Augmenting Smart Contract Decompiler Output through Fine-grained Dependency Analysis and LLM-facilitated Semantic Recovery.
CoRR
Zeqin Liao, Yuhong Nan, Zixu Gao, Henglong Liang, Sicheng Hao, Peifan Reng, Zibin Zheng
2025 J jnl
Satellite: Detecting and Analyzing Smart Contract Vulnerabilities Caused by Subcontract Misuse.
IEEE Trans. Software Eng.
Zeqin Liao, Yuhong Nan, Zixu Gao, Henglong Liang, Sicheng Hao, Jiajing Wu, Zibin Zheng
2025 J jnl
Satellite: Detecting and Analyzing Smart Contract Vulnerabilities caused by Subcontract Misuse.
CoRR
Zeqin Liao, Yuhong Nan, Zixu Gao, Henglong Liang, Sicheng Hao, Jiajing Wu, Zibin Zheng
2025 A* conf
VRExplorer: A Model-based Approach for Semi-Automated Testing of Virtual Reality Scenes.
ASE
Zhengyang Zhu, Hong-Ning Dai, Hanyang Guo, Zeqin Liao, Zibin Zheng
2024 J jnl
SmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis.
CoRR
Zeqin Liao, Yuhong Nan, Henglong Liang, Sicheng Hao, Juan Zhai, Jiajing Wu, Zibin Zheng
2024 J jnl
SmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis.
Proc. ACM Softw. Eng.
Zeqin Liao, Yuhong Nan, Henglong Liang, Sicheng Hao, Juan Zhai, Jiajing Wu, Zibin Zheng
2024 J jnl
SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis.
CoRR
Zeqin Liao, Sicheng Hao, Yuhong Nan, Zibin Zheng
2023 A conf
SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis.
ISSTA
Zeqin Liao, Sicheng Hao, Yuhong Nan, Zibin Zheng
2022 A conf
SmartDagger: a bytecode-based static analysis approach for detecting cross-contract vulnerability.
ISSTA
Zeqin Liao, Zibin Zheng, Xiao Chen, Yuhong Nan
2021 J jnl
Dynamic Collaborative Charging Algorithm for Mobile and Static Nodes in Industrial Internet of Things.
IEEE Internet Things J.
Guangjie Han, Zeqin Liao, Miguel Martínez-García, Yu Zhang, Yan Peng
2021 J jnl
Multistation-Based Collaborative Charging Strategy for High-Density Low-Power Sensing Nodes in Industrial Internet of Things.
IEEE Internet Things J.
Zeqin Liao, Guangjie Han, Hao Wang, Li Liu