Testing Java Components based on Algebraic Specifications. - Bo Yu; Liang Kong; Yufeng Zhang 001; Hong Zhu 002 (ICST, 2008)

Ontology for Service Oriented Testing of Web Services. - Yufeng Zhang 001; Hong Zhu 002 (SOSE, 2008)

An Intelligent Broker Approach to Semantics-Based Service Composition. - Yufeng Zhang 001; Hong Zhu 002 (COMPSAC, 2011)

Speculative Symbolic Execution. - Yufeng Zhang 001; Zhenbang Chen; Ji Wang 001 (ISSRE, 2012)

S2PF: speculative symbolic PathFinder. - Yufeng Zhang 001; Zhenbang Chen; Ji Wang 001 (ACM SIGSOFT Softw. Eng. Notes, 2012)

Collaborative Testing of Web Services. - Hong Zhu 002; Yufeng Zhang 001 (IEEE Trans. Serv. Comput., 2012)

A Test Automation Framework for Collaborative Testing of Web Service Dynamic Compositions. - Hong Zhu 002; Yufeng Zhang 001 (Advanced Web Services, 2014)

MPISE: Symbolic Execution of MPI Programs. - Xianjin Fu; Zhenbang Chen; Yufeng Zhang 001; Chun Huang; Ji Wang 001 (CoRR, 2014)

MPISE: Symbolic Execution of MPI Programs. - Xianjin Fu; Zhenbang Chen; Yufeng Zhang 001; Chun Huang; Wei Dong 006; Ji Wang 001 (HASE, 2015)

Regular Property Guided Dynamic Symbolic Execution. - Yufeng Zhang 001; Zhenbang Chen; Ji Wang 001; Wei Dong 006; Zhiming Liu 001 (ICSE (1), 2015)

RGSE: a regular property guided symbolic executor for Java. - Hengbiao Yu; Zhenbang Chen; Yufeng Zhang 001; Ji Wang 001; Wei Dong 006 (ESEC/SIGSOFT FSE, 2017)

Synthesizing Smart Solving Strategy for Symbolic Execution. - Zehua Chen; Zhenbang Chen; Ziqi Shuai; Yufeng Zhang 001; Weiyu Pan (ASE, 2020)

Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once. - Yufeng Zhang 001; Zhenbang Chen; Ziqi Shuai; Tianqi Zhang; Kenli Li 001; Ji Wang 001 (ASE, 2020)

Efficient Multiplex Symbolic Execution with Adaptive Search Strategy. - Tianqi Zhang; Yufeng Zhang 001; Zhenbang Chen; Ziqi Shuai; Ji Wang 001 (ASE, 2020)

Out-of-Distribution Detection with Distance Guarantee in Deep Generative Models. - Yufeng Zhang 001; Wanwei Liu; Zhenbang Chen; Ji Wang 001; Zhiming Liu 001; Kenli Li 001; Hongmei Wei; Zuoning Chen (CoRR, 2020)

A Runtime Monitoring Based Fuzzing Framework for Temporal Properties. - Jinjian Luo; Meixi Liu; Yunlai Luo; Zhenbang Chen; Yufeng Zhang 001 (ISSRE Workshops, 2021)

Synthesize solving strategy for symbolic execution. - Zhenbang Chen; Zehua Chen; Ziqi Shuai; Guofeng Zhang 005; Weiyu Pan; Yufeng Zhang 001; Ji Wang 001 (ISSTA, 2021)

Grammar-agnostic symbolic execution by token symbolization. - Weiyu Pan; Zhenbang Chen; Guofeng Zhang 005; Yunlai Luo; Yufeng Zhang 001; Ji Wang 001 (ISSTA, 2021)

Type and interval aware array constraint solving for symbolic execution. - Ziqi Shuai; Zhenbang Chen; Yufeng Zhang 001; Jun Sun 001; Ji Wang 001 (ISSTA, 2021)

On the Properties of Kullback-Leibler Divergence Between Gaussians. - Yufeng Zhang 001; Wanwei Liu; Zhenbang Chen; Kenli Li 001; Ji Wang 001 (CoRR, 2021)

Performance analysis and optimization for SpMV based on aligned storage formats on an ARM processor. - Yufeng Zhang 001; Wangdong Yang; Kenli Li 001; Dahai Tang; Keqin Li 001 (J. Parallel Distributed Comput., 2021)

Synergizing Symbolic Execution and Fuzzing By Function-level Selective Symbolization. - Guofeng Zhang 005; Zhenbang Chen; Ziqi Shuai; Yufeng Zhang 001; Ji Wang 001 (APSEC, 2022)

Symbolic Execution of MPI Programs with One-Sided Communications. - Nenghui Hu; Zheng Bian; Ziqi Shuai; Zhenbang Chen; Yufeng Zhang 001 (APSEC, 2023)

Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution. - Ziqi Shuai; Zhenbang Chen; Yufeng Zhang 001; Hengbiao Yu; Ji Wang 001 (APSEC, 2023)

On the Properties of Kullback-Leibler Divergence Between Multivariate Gaussian Distributions. - Yufeng Zhang 001; Jialu Pan; Li Ken Li; Wanwei Liu; Zhenbang Chen; Xinwang Liu; Ji Wang 001 (NeurIPS, 2023)

CCMOP: A Runtime Verification Tool for C/C++ Programs. - Yongchao Xing; Zhenbang Chen; Shibo Xu; Yufeng Zhang 001 (RV, 2023)

Statement-Level Software Defect Prediction Based on Improved R-Transformer. - Yulei Zhu; Yufeng Zhang 001; Zhenbang Chen (J. Circuits Syst. Comput., 2023)

OnceNAS: Discovering efficient on-device inference neural networks for edge devices. - Yusen Zhang 007; Yunchuan Qin; Yufeng Zhang 001; Xu Zhou 001; Songlei Jian; Yusong Tan; Kenli Li 001 (Inf. Sci., 2024)

Partial Solution Based Constraint Solving Cache in Symbolic Execution. - Ziqi Shuai; Zhenbang Chen; Kelin Ma; Kunlin Liu; Yufeng Zhang 001; Jun Sun 001; Ji Wang 001 (Proc. ACM Softw. Eng., 2024)

Verification of message-passing uninterpreted programs. - Weijiang Hong; Zhenbang Chen; Yufeng Zhang 001; Hengbiao Yu; Yide Du; Ji Wang 001 (Sci. Comput. Program., 2024)

Adaptive solving strategy synthesis for symbolic execution. - Zhenbang Chen; Guofeng Zhang 005; Zehua Chen; Ziqi Shuai; Weiyu Pan; Yufeng Zhang 001; Ji Wang 001 (J. Softw. Evol. Process., 2024)

Kullback-Leibler Divergence-Based Out-of-Distribution Detection With Flow-Based Generative Models. - Yufeng Zhang 001; Jialu Pan; Wanwei Liu; Zhenbang Chen; Kenli Li 001; Ji Wang 001; Zhiming Liu 001; Hongmei Wei (IEEE Trans. Knowl. Data Eng., 2024)

SECTest: An Integrated Testing Platform for QoS in Satellite Edge Clouds. - Guogen Zeng; Juan Luo; Yufeng Zhang 001; Ying Qiao; Shuyang Teng; Keqin Li 001 (IEEE Trans. Serv. Comput., 2025)