Generating Test Cases of Composite Services Based on OWL-S and EH-CPN. - Bixin Li; Ju Cai; Dong Qiu; Shunhui Ji; Yuting Jiang (SEKE, 2009)

WSTester: Testing Web Service for Behavior Conformance. - Bixin Li; Lili Yang; Shunhui Ji; Dong Qiu; Xufang Gong (SEKE, 2009)

Automatic test case selection and generation for regression testing of composite service based on extensible BPEL flow graph. - Bixin Li; Dong Qiu; Shunhui Ji; Di Wang (ICSM, 2010)

Generating Test Cases of Composite Services Based on OWL-S and eh-CPN. - Bixin Li; Shunhui Ji; Dong Qiu; Ju Cai (Int. J. Softw. Eng. Knowl. Eng., 2010)

A Unified Modeling and Verifying Framework for Cyber Physical Systems. - Xiaoxiang Zhai; Qiaoqiao Chen; Shunhui Ji; Bixin Li (QSIC, 2012)

A HybridUML and QdL Based Verification Method for CPS Self-Adaptability. - Jiakai Li; Bixin Li; Qiaoqiao Chen; Min Zhu; Shunhui Ji; Xiaoxiang Zhai (SEKE, 2012)

Verification of Cyber-Physical Systems Based on Differential-Algebraic Temporal Dynamic Logic. - Xiaoxiang Zhai; Bixin Li; Min Zhu; Jiakai Li; Qiaoqiao Chen; Shunhui Ji (SEKE, 2012)

HybridUML Based Verification of CPS Using Differential Dynamic Logic. - Min Zhu; Bixin Li; Jiakai Li; Qiaoqiao Chen; Xiaoxiang Zhai; Shunhui Ji (SEKE, 2012)

Monitoring Web Services for Conformance. - Bixin Li; Shunhui Ji; Li Liao; Dong Qiu; Mingjie Sun (SOSE, 2013)

Verifying the Concurrent Properties in BPEL Based Web Service Composition Process. - Bixin Li; Shunhui Ji; Dong Qiu; Hareton Leung; Gongyuan Zhang (IEEE Trans. Netw. Serv. Manag., 2013)

Regression Testing of Web Service: A Systematic Mapping Study. - Dong Qiu; Bixin Li; Shunhui Ji; Hareton K. N. Leung (ACM Comput. Surv., 2014)

Test Case Selection for Data Flow Based Regression Testing of BPEL Composite Services. - Shunhui Ji; Bixin Li; Pengcheng Zhang 001 (SCC, 2016)

A Novel QoS Prediction Approach for Cloud Services Using Bayesian Network Model. - Wenrui Li 002; Pengcheng Zhang 001; Hareton Leung; Shunhui Ji (IEEE Access, 2018)

Neural Network Based Test Case Generation for Data-Flow Oriented Testing. - Shunhui Ji; Qin Chen; Pengcheng Zhang 001 (AITest, 2019)

Condition-Guided Adversarial Generative Testing for Deep Learning Systems. - Pengcheng Zhang 001; Qiyin Dai; Shunhui Ji (AITest, 2019)

Test Case Selection for All-Uses Criterion-Based Regression Testing of Composite Service. - Shunhui Ji; Bixin Li; Pengcheng Zhang 001 (IEEE Access, 2019)

A Review of Automated Diagnosis of COVID-19 Based on Scanning Images. - Delong Chen; Shunhui Ji; Fan Liu 003; Zewen Li; Xinyu Zhou (ICRAI, 2020)

ADF-GA: Data Flow Criterion Based Test Case Generation for Ethereum Smart Contracts. - Pengcheng Zhang 001; Jianan Yu; Shunhui Ji (ICSE (Workshops), 2020)

Evolutionary Generation of Test Case for Deep Neural Network Based on Coverage Guidance. - Liming Hu; Shunhui Ji; Qiyin Dai; Pengcheng Zhang 001 (AITest, 2021)

Heuristic-word-selection Genetic Algorithm for Generating Natural Language Adversarial Examples. - Shijun Ye; Pengcheng Zhang 001; Hai Dong; Shunhui Ji (AITest, 2021)

Verifiable Model Construction for Business Processes. - Shunhui Ji; Liming Hu; Yihan Cao; Pengcheng Zhang 001; Jerry Gao 002 (Int. J. Softw. Eng. Knowl. Eng., 2021)

Data Flow Reduction Based Test Case Generation for Smart Contracts. - Shunhui Ji; Shaoqing Zhu; Pengcheng Zhang 001; Hai Dong (APSEC, 2022)

Bytecode Obfuscation for Smart Contracts. - Qifan Yu; Pengcheng Zhang 001; Hai Dong; Yan Xiao 002; Shunhui Ji (APSEC, 2022)

PBSM: Backdoor attack against Keyword spotting based on pitch boosting and sound masking. - Hanbo Cai; Pengcheng Zhang 001; Hai Dong; Yan Xiao 002; Shunhui Ji (CoRR, 2022)

VSVC: Backdoor attack against Keyword Spotting based on Voiceprint Selection and Voice Conversion. - Hanbo Cai; Pengcheng Zhang 001; Hai Dong; Yan Xiao 002; Shunhui Ji (CoRR, 2022)

Test Case Generation for Cross-Blockchain Smart Contract. - Jiahao Gong; Shunhui Ji; Pengcheng Zhang 001 (APSEC, 2023)

Ponzi Scheme Detection Based on Control Flow Graph Feature Extraction. - Shunhui Ji; Congxiong Huang; Pengcheng Zhang 001; Hai Dong; Yan Xiao 002 (ICWS, 2023)

LEAP: Efficient and Automated Test Method for NLP Software. - Mingxuan Xiao; Yan Xiao 002; Hai Dong; Shunhui Ji; Pengcheng Zhang 001 (ASE, 2023)

Test-Case Generation for Data Flow Testing of Smart Contracts Based on Improved Genetic Algorithm. - Shunhui Ji; Shaoqing Zhu; Pengcheng Zhang 001; Hai Dong; Jianan Yu (IEEE Trans. Reliab., 2023)

A survey on smart contract vulnerabilities: Data sources, detection and repair. - Hanting Chu; Pengcheng Zhang 001; Hai Dong; Yan Xiao 002; Shunhui Ji; Wenrui Li 002 (Inf. Softw. Technol., 2023)

Adversarial example-based test case generation for black-box speech recognition systems. - Hanbo Cai; Pengcheng Zhang 001; Hai Dong; Lars Grunske; Shunhui Ji; Tianhao Yuan (Softw. Test. Verification Reliab., 2023)

Dynamic Adaptive User Allocation in Mobile Edge Computing. - Jiajia Li; Shunhui Ji; Huiying Jin; Hai Dong; Zhiyuan Ge; Pengcheng Zhang 001 (SSE, 2024)

Gradient-Guided Test Case Generation for Image Classification Software. - Shunhui Ji; Yunhe Li; Hai Dong; Mingxuan Xiao; Pengcheng Zhang 001; Mengyuan Zhang (COMPSAC, 2024)

Audio Steganography Based Backdoor Attack for Speech Recognition Software. - Mengyuan Zhang; Shunhui Ji; Hanbo Cai; Hai Dong; Pengcheng Zhang 001; Yunhe Li (COMPSAC, 2024)

Scribble-Supervised Semantic Segmentation with Prototype-based Feature Augmentation. - Guiyang Chan; Pengcheng Zhang 001; Hai Dong; Shunhui Ji; Bainian Chen (ICML, 2024)

QoS Optimization via Computation Offloading in Metaverse Environment. - Zhiyuan Ge; Pengcheng Zhang 001; Huiying Jin; Hai Dong; Shunhui Ji; Jiajia Li; Qi Wang (ICWS, 2024)

Resource Aware Multi-User Task Offloading In Mobile Edge Computing. - Shunhui Ji; Jiajia Li; Huiying Jin; Hai Dong; Zhiyuan Ge; Shuhan Yang; Pengcheng Zhang 001 (ICWS, 2024)

RITFIS: Robust input testing framework for LLMs-based intelligent software. - Mingxuan Xiao; Yan Xiao 002; Hai Dong; Shunhui Ji; Pengcheng Zhang 001 (CoRR, 2024)

Automated Robustness Testing for LLM-based NLP Software. - Mingxuan Xiao; Yan Xiao 002; Shunhui Ji; Hanbo Cai; Lei Xue; Pengcheng Zhang 001 (CoRR, 2024)

Space-Time-Aware Proactive QoS Monitoring for Mobile Edge Computing. - Shunhui Ji; Jiajia Li; Huiying Jin; Ting Wei; Hai Dong; Pengcheng Zhang 001; Athman Bouguettaya (IEEE Trans. Netw. Serv. Manag., 2024)

SGDL: Smart contract vulnerability generation via deep learning. - Hanting Chu; Pengcheng Zhang 001; Hai Dong; Yan Xiao 002; Shunhui Ji (J. Softw. Evol. Process., 2024)

IABC-TCG: Improved artificial bee colony algorithm-based test case generation for smart contracts. - Shunhui Ji; Jiahao Gong; Hai Dong; Pengcheng Zhang 001; Shaoqing Zhu (J. Softw. Evol. Process., 2024)

MVGText: Momentum and Variance Guided Hard-Label Text Test Case Generation. - Shunhui Ji; Yu Shi; Changrong Huang; Letian Cheng; Pengcheng Zhang 001 (COMPSAC, 2025)

Smart Contract Reentrancy Vulnerability Localization Using Explainable Graph Neural Networks. - Haowei Liu; Yanxiang Tong; Shunhui Ji; Pengcheng Zhang (COMPSAC, 2025)

Clean-label backdoor attack based on robust feature attenuation for speech recognition. - Hanbo Cai; Pengcheng Zhang 001; Yan Xiao 002; Shunhui Ji; Mingxuan Xiao; Letian Cheng (Expert Syst. Appl., 2025)

ABFS: Natural Robustness Testing for LLM-based NLP Software. - Mingxuan Xiao; Yan Xiao 002; Shunhui Ji; Yunhe Li; Lei Xue; Pengcheng Zhang 001 (CoRR, 2025)

TAEFuzz: Automatic Fuzzing for Image-based Deep Learning Systems via Transferable Adversarial Examples. - Shunhui Ji; Changrong Huang; Bin Ren; Hai Dong; Lars Grunske; Yan Xiao 002; Pengcheng Zhang 001 (ACM Trans. Softw. Eng. Methodol., 2025)