吉顺慧｜河海大学｜学者主页

2026

Automated robustness testing for LLM-based natural language processing software

Mingxuan Xiao, Yan Xiao, Shunhui Ji, Hanbo Cai, Lei Xue, Pengcheng Zhang

Expert Systems With Applications，Vol. 303

DOI

2026

LLM-Driven Smart Contract Vulnerability Detection Based on Heterogeneous Graphs

Yunhan Zhang, Yan-Xiang Tong, Ben Wang, Shunhui Ji, Peng-Cheng Zhang

Annual International Computer Software and Applications Conference

DOI

2026

TIAFuzz: Transferable fuzzing via distillation for image-based deep learning systems

Yunhe Li, Shunhui Ji, Hai Dong, Yan Xiao, Ming-Ming Xiao, Pengcheng Zhang

Expert systems with applications

DOI

2026

Multi-modal Perturbation Based Imperceptible Chinese Adversarial Example Generation

Shunhui Ji, Ying-Ying Shen, Ming-Ming Xiao, Xu Zhang, Peng-Cheng Zhang

International Conference on Intelligent Computing

DOI

2026

SD-MIL: A Two-Stage De-Noising Framework for Smart Contract Vulnerability Detection via Multi-Instance Learning

Jia-Ying Xie, Yan-Xiang Tong, Xiao Wang, Shunhui Ji, Peng-Cheng Zhang

Annual International Computer Software and Applications Conference

DOI

2026

HGA: Heuristic Black‐Box Test Case Generation for NLP Intelligent Software

Ming-Ming Xiao, Peng-Cheng Zhang, Hai Dong, Yan Xiao, Shunhui Ji

Software testing, verification & reliability

DOI

2026

Toward Harmless Ownership Verification for Automatic Speech Recognition via Synthetic Lexical Domains

Hanbo Cai, Peng-Cheng Zhang, Yan Xiao, Shunhui Ji, Ming-Ming Xiao

IEEE Transactions on Audio, Speech, and Language Processing

DOI

2026

BASFuzz: Toward Robustness Evaluation of LLM-based NLP Software via Automated Fuzz Testing

Ming-Ming Xiao, Yan Xiao, Shunhui Ji, Jia-He Tu, Peng-Cheng Zhang

ACM Transactions on Software Engineering and Methodology

DOI

2026

MGR-Net: Multimodal Fusion Network for Ponzi Scheme Detection Based on Graph Refinement

Jin-Qi Lei, Yan-Xiang Tong, Xiao Wang, Shunhui Ji, Peng-Cheng Zhang

Annual International Computer Software and Applications Conference

DOI

2026

ABFS: Natural robustness testing for LLM-based NLP software

Ming-Ming Xiao, Yan Xiao, Shunhui Ji, Jia-He Tu, Yunhe Li, Lei Xue, Pengcheng Zhang

Information and Software Technology

DOI

2026

PonziFusion: Ponzi Scheme Detection via the Fusion of Contract Semantic and Structural Features

Jin-Qi Lei, Yan-Xiang Tong, Shunhui Ji, Xiao Wang, Cong-Xiong Huang, Peng-Cheng Zhang

Blockchain: Research and Applications

DOI

2026

SparseTG-GS: Test Case Generation via Sparse Perturbation Group

Shunhui Ji, Yunhe Li, Yan Xiao, Hai Dong, Li-Ming Hu, Peng-Cheng Zhang

ACM Transactions on Software Engineering and Methodology

DOI

2026

Bytecode Obfuscation for Smart Contracts via Structural and Semantic Perturbation

Peng-Cheng Zhang, X. Wang, Yan-Xiang Tong, Hai Dong, Yan Xiao, Shunhui Ji

ACM Transactions on Software Engineering and Methodology

DOI

2025

云网融合环境下组合服务的动态重构

刘坤，张鹏程，金惠颖，吉顺慧

《计算机工程》

2025

Dynamic Variance Reduction-Based Reusable Test Case Generation for Image Classification

Changrong Huang, Shunhui Ji, Yu Shi, Peng-Cheng Zhang

Asia-Pacific Software Engineering Conference

DOI

2025

A Review of Learning-based Smart Contract Vulnerability Detection: A Perspective on Code Representation

Ben Wang, Yan-Xiang Tong, Shunhui Ji, Hai Dong, Xia-Pu Luo, Pengcheng Zhang

ACM Transactions on Software Engineering and Methodology

DOI

2025

ISA: Test Case Generation Based on Improved Simulated Annealing Algorithm

Shunhui Ji, Yu Shi, Jingli Deng, Peng-Cheng Zhang

Asia-Pacific Software Engineering Conference

DOI

2025

OSEL: boosting vulnerability detection with opcode slicing-enhanced feature learning

Yan-Xiang Tong, Shengkai Gao, Ming-Yue Zhang, Ben Wang, Shunhui Ji, Peng-Cheng Zhang

Software quality journal

DOI

2025

DeepFusion: Smart Contract Vulnerability Detection Via Deep Learning and Data Fusion

Hanting Chu, Pengcheng Zhang, Hai Dong, Yan Xiao, Shunhui Ji

IEEE Transactions on Reliability

DOI

2025

Smart Contract Reentrancy Vulnerability Localization Using Explainable Graph Neural Networks

Haowei Liu, Yan-Xiang Tong, Shunhui Ji, Peng-Cheng Zhang

Annual International Computer Software and Applications Conference

DOI

2025

MVGText: Momentum and Variance Guided Hard-Label Text Test Case Generation

Shunhui Ji, Yu Shi, Changrong Huang, Letian Cheng, Peng-Cheng Zhang

Annual International Computer Software and Applications Conference

DOI

2025

Secure And Efficient Service Migration Approach In the Internet of Vehicles

Jingyi Zhao, Shaoling Qin, Shunhui Ji, Jie Zhang

Communications in computer and information science

DOI

2025

Phoneme Segmentation Based Backdoor Attack Against Speech Recognition as a Service

Letian Cheng, Shunhui Ji, Hanbo Cai, Yu Shi, Mengyuan Zhang

Communications in computer and information science

DOI

2025

VMeta: A QoS Dataset for Metaverse Services

Zhiyuan Ge, Huiying Jin, Hai Ying Dong, Shunhui Ji, Jiajia Li, Shuhan Yang, Qi Wang, Pengcheng Zhang

Communications in computer and information science

DOI

2024

Audio Steganography Based Backdoor Attack for Speech Recognition Software

Mengyuan Zhang, Shunhui Ji, Hanbo Cai, Hai Dong, Peng-Cheng Zhang, Yunhe Li

Annual International Computer Software and Applications Conference

DOI

2024

SGDL: Smart contract vulnerability generation via deep learning

Hanting Chu, Peng-Cheng Zhang, Hai Dong, Yan Xiao, Shunhui Ji

J. Softw. Evol. Process.

DOI

2024

IABC‐TCG: Improved artificial bee colony algorithm‐based test case generation for smart contracts

Shunhui Ji, Jiahao Gong, Hai Dong, Peng-Cheng Zhang, Shaoqing Zhu

J. Softw. Evol. Process.

DOI

2024

Gradient-Guided Test Case Generation for Image Classification Software

Shunhui Ji, Yunhe Li, Hai Dong, Ming-Ming Xiao, Peng-Cheng Zhang, Mengyuan Zhang

Annual International Computer Software and Applications Conference

DOI

2024

RITFIS: Robust input testing framework for LLMs-based intelligent software

Ming-Ming Xiao, Yan Xiao, Hai Dong, Shunhui Ji, Peng-Cheng Zhang

arXiv.org

DOI

2023

A survey on smart contract vulnerabilities: Data sources, detection and repair

Hanting Chu, Peng-Cheng Zhang, Hai Dong, Yan Xiao, Shunhui Ji, Wenrui Li

Information and Software Technology

DOI

2023

Adversarial example‐based test case generation for black‐box speech recognition systems

Hanbo Cai, Peng-Cheng Zhang, Hai Dong, Lars Grunske, Shunhui Ji, Tianhao Yuan

Software testing, verification & reliability

DOI

2023

Test Case Generation for Cross-Blockchain Smart Contract

Jiahao Gong, Shunhui Ji, Peng-Cheng Zhang

Asia-Pacific Software Engineering Conference

DOI

2023

Test-Case Generation for Data Flow Testing of Smart Contracts Based on Improved Genetic Algorithm

Shunhui Ji, Shaoqing Zhu, Pengcheng Zhang, Hai Dong, Jianan Yu

IEEE Transactions on Reliability

DOI

2023

LEAP: Efficient and Automated Test Method for NLP Software

Ming-Ming Xiao, Yan Xiao, Hai Dong, Shunhui Ji, Peng-Cheng Zhang

International Conference on Automated Software Engineering

DOI

2023

Ponzi Scheme Detection Based on Control Flow Graph Feature Extraction

Shunhui Ji, Congxiong Huang, Pengcheng Zhang, Hai Dong, Yan Xiao

2023 IEEE International Conference on Web Services (ICWS)

DOI

2023

Blockchain Scam Detection: State-of-the-Art, Challenges, and Future Directions

Shunhui Ji, Congxiong Huang, Hanting Chu, Xiao Wang, Hai Ying Dong, Pengcheng Zhang

Communications in computer and information science

DOI

2023

An Improved PBFT Consensus Algorithm for Supply Chain Finance

Guoqing Zhang, Shunhui Ji, Hai Ying Dong, Pengcheng Zhang

Communications in computer and information science

DOI

2022

Data Flow Reduction Based Test Case Generation for Smart Contracts

Shunhui Ji, Shaoqing Zhu, Peng-Cheng Zhang, Hai Dong

Asia-Pacific Software Engineering Conference

DOI

2022

PBSM: Backdoor attack against Keyword spotting based on pitch boosting and sound masking

Hanbo Cai, Peng-Cheng Zhang, Hai Dong, Yan Xiao, Shunhui Ji

arXiv.org

DOI

2022

Bytecode Obfuscation for Smart Contracts

Qifan Yu, Peng-Cheng Zhang, Hai Dong, Yan Xiao, Shunhui Ji

Asia-Pacific Software Engineering Conference

DOI

2022

VSVC: Backdoor attack against Keyword Spotting based on Voiceprint Selection and Voice Conversion

Hanbo Cai, Peng-Cheng Zhang, Hai Dong, Yan Xiao, Shunhui Ji

arXiv.org

DOI

2021

Evolutionary Generation of Test Case for Deep Neural Network Based on Coverage Guidance

Li-Ming Hu, Shunhui Ji, Qiyin Dai, Peng-Cheng Zhang

International Conference on Artificial Intelligence Testing

DOI

2021

Verifiable Model Construction for Business Processes

Shunhui Ji, Li-Ming Hu, Yihan Cao, Peng-Cheng Zhang, J. Gao

International journal of software engineering and knowledge engineering

DOI

2021

Heuristic-word-selection Genetic Algorithm for Generating Natural Language Adversarial Examples

Shijun Ye, Peng-Cheng Zhang, Hai Dong, Shunhui Ji

International Conference on Artificial Intelligence Testing

DOI

2020

基于支配关系的数据流测试用例生成方法

吉顺慧，张鹏程

《计算机科学》

2020

ADF-GA: Data Flow Criterion Based Test Case Generation for Ethereum Smart Contracts

Peng-Cheng Zhang, Jianan Yu, Shunhui Ji

International Conference on Software Engineering

DOI

2020

Quality Assurance Technologies of Big Data Applications: A Systematic Literature Review

Shunhui Ji, Qing-Qiu Li, Wennan Cao, Pengcheng Zhang, H. Muccini

Applied Sciences

DOI

2019

Neural Network Based Test Case Generation for Data-Flow Oriented Testing

Shunhui Ji, Qin Chen, Peng-Cheng Zhang

International Conference on Artificial Intelligence Testing

DOI

2019

Condition-Guided Adversarial Generative Testing for Deep Learning Systems

Pengcheng Zhang, Qiyin Dai, Shunhui Ji

International Conference on Artificial Intelligence Testing

DOI

2019

XCFG Based Data Flow Analysis of Business Processes

Shunhui Ji, Bi-Xin Li, Peng-Cheng Zhang

International Conference on Information Management

DOI

2019

Test Case Selection for All-Uses Criterion-Based Regression Testing of Composite Service

Shunhui Ji, Bi-Xin Li, Pengcheng Zhang

IEEE Access

DOI

2018

一种时效感知的动态加权Web服务QoS监控方法

何志鹏，张鹏程，江艳，吉顺慧，李雯睿

《软件学报》

2018

基于信息融合的多元QoS监控方法

江艳，张鹏程，吉顺慧，李臣明

《微型电脑应用》

2016

Test Case Selection for Data Flow Based Regression Testing of BPEL Composite Services

Shunhui Ji, Bi-Xin Li, Peng-Cheng Zhang

IEEE International Conference on Services Computing

DOI

2016

進化するBPELに基づくWeb複合サービスのインクリメンタルな検証【Powered by NICT】

Shunhui Ji, Bi-Xin Li, Dong Qiu

2016

Incremental Verification of Evolving BPEL-Based Web Composite Service

Shunhui Ji, Bi-Xin Li, Dong Qiu

DOI

2015

基于演化的Web组合服务测试和验证

吉顺慧

《东南大学》

2014

Verification for the concurrent properties of evolving BPEL composite service

Shunhui Ji, Bi-Xin Li, Dong Qiu

2014 IEEE 5th International Conference on Software Engineering and Service Science

DOI

2014

Regression Testing of Web Service: A Systematic Mapping Study

Dong Qiu, Bi-Xin Li, Shunhui Ji, H. Leung

ACM Computing Surveys

DOI

2013

基于XCFG的BPEL数据流属性分析与验证

吉顺慧，李必信，邱栋

《电子学报》

2013

一种基于微分代数动态逻辑的CPS建模与验证方法

陈乔乔，李必信，吉顺慧

《计算机研究与发展》

2013

Verifying the Concurrent Properties in BPEL Based Web Service Composition Process

Bi-Xin Li, Shunhui Ji, Dong Qiu, H. Leung, Gong-Yuan Zhang

IEEE Transactions on Network and Service Management

DOI

2013

Monitoring Web Services for Conformance

Bi-Xin Li, Shunhui Ji, Li Liao, Dong Qiu, Mingjie Sun

2013 IEEE Seventh International Symposium on Service-Oriented System Engineering

DOI

2013

A Modeling and Verification Method of CPS Based on Differential-Algebraic Dynamic Logic

Qiao-Qiao Chen, Bi-Xin Li, Shunhui Ji

2012

基于微分动态逻辑的CPS建模与属性验证

朱敏，李必信，陈乔乔，吉顺慧，李加凯

《电子学报》

2012

HybridUML Based Verification of CPS Using Differential Dynamic Logic

Min Zhu, Bi-Xin Li, Jiakai Li, Qiao-Qiao Chen, Xiaoxiang Zhai, Shunhui Ji

International Conference on Software Engineering and Knowledge Engineering

2012

A HybridUML and QdL Based Verification Method for CPS Self-Adaptability

Jiakai Li, Bi-Xin Li, Qiao-Qiao Chen, Min Zhu, Shunhui Ji, Xiaoxiang Zhai

International Conference on Software Engineering and Knowledge Engineering

2012

Verification of Cyber-Physical Systems Based on Differential-Algebraic Temporal Dynamic Logic

Xiaoxiang Zhai, Bi-Xin Li, Min Zhu, Jiakai Li, Qiao-Qiao Chen, Shunhui Ji

International Conference on Software Engineering and Knowledge Engineering

2012

A Unified Modeling and Verifying Framework for Cyber Physical Systems

Xiaoxiang Zhai, Qiao-Qiao Chen, Shunhui Ji, Bi-Xin Li

International Conference on Quality Software

DOI

2011

基于顺序图的Web组合服务属性验证

吉顺慧，李必信，周宇

《东南大学学报(自然科学版)》

2010

Automatic test case selection and generation for regression testing of composite service based on extensible BPEL flow graph

Bi-Xin Li, Dong Qiu, Shunhui Ji, Di Wang

2010 IEEE International Conference on Software Maintenance

DOI

2010

Generating Test Cases of Composite Services Based on OWL-S and eh-CPN

Bi-Xin Li, Ju Cai, Dong Qiu, Shunhui Ji, Yu-Ting Jiang

International journal of software engineering and knowledge engineering

DOI

2009

WSTester: Testing Web Service for Behavior Conformance

Bi-Xin Li, Lili Yang, Shunhui Ji, Dong Qiu, Xufang Gong

International Conference on Software Engineering and Knowledge Engineering

精选作品

期刊论文

Automated robustness testing for LLM-based natural language processing software

LLM-Driven Smart Contract Vulnerability Detection Based on Heterogeneous Graphs

TIAFuzz: Transferable fuzzing via distillation for image-based deep learning systems

Multi-modal Perturbation Based Imperceptible Chinese Adversarial Example Generation

SD-MIL: A Two-Stage De-Noising Framework for Smart Contract Vulnerability Detection via Multi-Instance Learning

HGA: Heuristic Black‐Box Test Case Generation for NLP Intelligent Software

Toward Harmless Ownership Verification for Automatic Speech Recognition via Synthetic Lexical Domains

BASFuzz: Toward Robustness Evaluation of LLM-based NLP Software via Automated Fuzz Testing

MGR-Net: Multimodal Fusion Network for Ponzi Scheme Detection Based on Graph Refinement

ABFS: Natural robustness testing for LLM-based NLP software

PonziFusion: Ponzi Scheme Detection via the Fusion of Contract Semantic and Structural Features

SparseTG-GS: Test Case Generation via Sparse Perturbation Group

Bytecode Obfuscation for Smart Contracts via Structural and Semantic Perturbation

云网融合环境下组合服务的动态重构

Dynamic Variance Reduction-Based Reusable Test Case Generation for Image Classification

A Review of Learning-based Smart Contract Vulnerability Detection: A Perspective on Code Representation

ISA: Test Case Generation Based on Improved Simulated Annealing Algorithm

OSEL: boosting vulnerability detection with opcode slicing-enhanced feature learning

DeepFusion: Smart Contract Vulnerability Detection Via Deep Learning and Data Fusion

Smart Contract Reentrancy Vulnerability Localization Using Explainable Graph Neural Networks

MVGText: Momentum and Variance Guided Hard-Label Text Test Case Generation

Secure And Efficient Service Migration Approach In the Internet of Vehicles

Phoneme Segmentation Based Backdoor Attack Against Speech Recognition as a Service

VMeta: A QoS Dataset for Metaverse Services

Audio Steganography Based Backdoor Attack for Speech Recognition Software

SGDL: Smart contract vulnerability generation via deep learning

IABC‐TCG: Improved artificial bee colony algorithm‐based test case generation for smart contracts

Gradient-Guided Test Case Generation for Image Classification Software

RITFIS: Robust input testing framework for LLMs-based intelligent software

A survey on smart contract vulnerabilities: Data sources, detection and repair

Adversarial example‐based test case generation for black‐box speech recognition systems

Test Case Generation for Cross-Blockchain Smart Contract

Test-Case Generation for Data Flow Testing of Smart Contracts Based on Improved Genetic Algorithm

LEAP: Efficient and Automated Test Method for NLP Software

Ponzi Scheme Detection Based on Control Flow Graph Feature Extraction

Blockchain Scam Detection: State-of-the-Art, Challenges, and Future Directions

An Improved PBFT Consensus Algorithm for Supply Chain Finance

Data Flow Reduction Based Test Case Generation for Smart Contracts

PBSM: Backdoor attack against Keyword spotting based on pitch boosting and sound masking

Bytecode Obfuscation for Smart Contracts

VSVC: Backdoor attack against Keyword Spotting based on Voiceprint Selection and Voice Conversion

Evolutionary Generation of Test Case for Deep Neural Network Based on Coverage Guidance

Verifiable Model Construction for Business Processes

Heuristic-word-selection Genetic Algorithm for Generating Natural Language Adversarial Examples

基于支配关系的数据流测试用例生成方法

ADF-GA: Data Flow Criterion Based Test Case Generation for Ethereum Smart Contracts

Quality Assurance Technologies of Big Data Applications: A Systematic Literature Review

Neural Network Based Test Case Generation for Data-Flow Oriented Testing

Condition-Guided Adversarial Generative Testing for Deep Learning Systems

XCFG Based Data Flow Analysis of Business Processes

Test Case Selection for All-Uses Criterion-Based Regression Testing of Composite Service

一种时效感知的动态加权Web服务QoS监控方法

基于信息融合的多元QoS监控方法

Test Case Selection for Data Flow Based Regression Testing of BPEL Composite Services

進化するBPELに基づくWeb複合サービスのインクリメンタルな検証【Powered by NICT】

Incremental Verification of Evolving BPEL-Based Web Composite Service

基于演化的Web组合服务测试和验证

Verification for the concurrent properties of evolving BPEL composite service

Regression Testing of Web Service: A Systematic Mapping Study

基于XCFG的BPEL数据流属性分析与验证

一种基于微分代数动态逻辑的CPS建模与验证方法

Verifying the Concurrent Properties in BPEL Based Web Service Composition Process

Monitoring Web Services for Conformance

A Modeling and Verification Method of CPS Based on Differential-Algebraic Dynamic Logic

基于微分动态逻辑的CPS建模与属性验证

HybridUML Based Verification of CPS Using Differential Dynamic Logic

A HybridUML and QdL Based Verification Method for CPS Self-Adaptability

Verification of Cyber-Physical Systems Based on Differential-Algebraic Temporal Dynamic Logic

A Unified Modeling and Verifying Framework for Cyber Physical Systems

基于顺序图的Web组合服务属性验证

Automatic test case selection and generation for regression testing of composite service based on extensible BPEL flow graph

Generating Test Cases of Composite Services Based on OWL-S and eh-CPN

WSTester: Testing Web Service for Behavior Conformance

会议论文

一种基于并发的BPEL控制流模型的分析及验证

研究方向