Yufeng Zhang

37 papers A* 4A 5B 2C 3Journal 17Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Relaxed Triangle Inequality for Kullback-Leibler Divergence Between Multivariate Gaussian Distributions.
CoRR
Shiji Xiao, Yufeng Zhang, Chubo Liu, Yan Ding, Keqin Li, Kenli Li
2026 J jnl
S
CoRR
Lianjing Wang, Yufeng Zhang, Kenli Li, Zhenbang Chen, Xu Zhou, Pengfei Wang, Guangning Song, Ji Wang
2025 J jnl
An efficient lossy compression framework for density partitioning in AMR applications.
J. Supercomput.
Yida Li, Huizhang Luo, Yufeng Zhang, Keqin Li, Kenli Li
2025 J jnl
SECTest: An Integrated Testing Platform for QoS in Satellite Edge Clouds.
IEEE Trans. Serv. Comput.
Guogen Zeng, Juan Luo, Yufeng Zhang, Ying Qiao, Shuyang Teng, Keqin Li
2024 J jnl
Adaptive solving strategy synthesis for symbolic execution.
J. Softw. Evol. Process.
Zhenbang Chen, Guofeng Zhang, Zehua Chen, Ziqi Shuai, Weiyu Pan, Yufeng Zhang, Ji Wang
2024 J jnl
Kullback-Leibler Divergence-Based Out-of-Distribution Detection With Flow-Based Generative Models.
IEEE Trans. Knowl. Data Eng.
Yufeng Zhang, Jialu Pan, Wanwei Liu, Zhenbang Chen, Kenli Li, Ji Wang, Zhiming Liu, Hongmei Wei
2024 J jnl
OnceNAS: Discovering efficient on-device inference neural networks for edge devices.
Inf. Sci.
Yusen Zhang, Yunchuan Qin, Yufeng Zhang, Xu Zhou, Songlei Jian, Yusong Tan, Kenli Li
2024 J jnl
Partial Solution Based Constraint Solving Cache in Symbolic Execution.
Proc. ACM Softw. Eng.
Ziqi Shuai, Zhenbang Chen, Kelin Ma, Kunlin Liu, Yufeng Zhang, Jun Sun, Ji Wang
2024 J jnl
Verification of message-passing uninterpreted programs.
Sci. Comput. Program.
Weijiang Hong, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Yide Du, Ji Wang
2023 B conf
CCMOP: A Runtime Verification Tool for C/C++ Programs.
RV
Yongchao Xing, Zhenbang Chen, Shibo Xu, Yufeng Zhang
2023 A* conf
On the Properties of Kullback-Leibler Divergence Between Multivariate Gaussian Distributions.
NeurIPS
Yufeng Zhang, Jialu Pan, Li Ken Li, Wanwei Liu, Zhenbang Chen, Xinwang Liu, Ji Wang
2023 J jnl
Statement-Level Software Defect Prediction Based on Improved R-Transformer.
J. Circuits Syst. Comput.
Yulei Zhu, Yufeng Zhang, Zhenbang Chen
2023 C conf
Symbolic Execution of MPI Programs with One-Sided Communications.
APSEC
Nenghui Hu, Zheng Bian, Ziqi Shuai, Zhenbang Chen, Yufeng Zhang
2023 C conf
Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution.
APSEC
Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Ji Wang
2022 C conf
Synergizing Symbolic Execution and Fuzzing By Function-level Selective Symbolization.
APSEC
Guofeng Zhang, Zhenbang Chen, Ziqi Shuai, Yufeng Zhang, Ji Wang
2021 — conf
A Runtime Monitoring Based Fuzzing Framework for Temporal Properties.
ISSRE Workshops
Jinjian Luo, Meixi Liu, Yunlai Luo, Zhenbang Chen, Yufeng Zhang
2021 A conf
Grammar-agnostic symbolic execution by token symbolization.
ISSTA
Weiyu Pan, Zhenbang Chen, Guofeng Zhang, Yunlai Luo, Yufeng Zhang, Ji Wang
2021 J jnl
On the Properties of Kullback-Leibler Divergence Between Gaussians.
CoRR
Yufeng Zhang, Wanwei Liu, Zhenbang Chen, Kenli Li, Ji Wang
2021 J jnl
Performance analysis and optimization for SpMV based on aligned storage formats on an ARM processor.
J. Parallel Distributed Comput.
Yufeng Zhang, Wangdong Yang, Kenli Li, Dahai Tang, Keqin Li
2021 A conf
Synthesize solving strategy for symbolic execution.
ISSTA
Zhenbang Chen, Zehua Chen, Ziqi Shuai, Guofeng Zhang, Weiyu Pan, Yufeng Zhang, Ji Wang
2021 A conf
Type and interval aware array constraint solving for symbolic execution.
ISSTA
Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Jun Sun, Ji Wang
2020 A* conf
Efficient Multiplex Symbolic Execution with Adaptive Search Strategy.
ASE
Tianqi Zhang, Yufeng Zhang, Zhenbang Chen, Ziqi Shuai, Ji Wang
2020 A* conf
Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once.
ASE
Yufeng Zhang, Zhenbang Chen, Ziqi Shuai, Tianqi Zhang, Kenli Li, Ji Wang
2020 J jnl
Out-of-Distribution Detection with Distance Guarantee in Deep Generative Models.
CoRR
Yufeng Zhang, Wanwei Liu, Zhenbang Chen, Ji Wang, Zhiming Liu, Kenli Li, Hongmei Wei, Zuoning Chen
2020 A* conf
Synthesizing Smart Solving Strategy for Symbolic Execution.
ASE
Zehua Chen, Zhenbang Chen, Ziqi Shuai, Yufeng Zhang, Weiyu Pan
2017 — conf
RGSE: a regular property guided symbolic executor for Java.
ESEC/SIGSOFT FSE
Hengbiao Yu, Zhenbang Chen, Yufeng Zhang, Ji Wang, Wei Dong
2015 — conf
MPISE: Symbolic Execution of MPI Programs.
HASE
Xianjin Fu, Zhenbang Chen, Yufeng Zhang, Chun Huang, Wei Dong, Ji Wang
2015 — conf
Regular Property Guided Dynamic Symbolic Execution.
ICSE (1)
Yufeng Zhang, Zhenbang Chen, Ji Wang, Wei Dong, Zhiming Liu
2014 — ch.
A Test Automation Framework for Collaborative Testing of Web Service Dynamic Compositions.
Advanced Web Services
Hong Zhu, Yufeng Zhang
2014 J jnl
MPISE: Symbolic Execution of MPI Programs.
CoRR
Xianjin Fu, Zhenbang Chen, Yufeng Zhang, Chun Huang, Ji Wang
2012 J jnl
Collaborative Testing of Web Services.
IEEE Trans. Serv. Comput.
Hong Zhu, Yufeng Zhang
2012 J jnl
S2PF: speculative symbolic PathFinder.
ACM SIGSOFT Softw. Eng. Notes
Yufeng Zhang, Zhenbang Chen, Ji Wang
2012 J jnl
Speculative Symbolic Execution
CoRR
Yufeng Zhang, Zhenbang Chen, Ji Wang
2012 A conf
Speculative Symbolic Execution.
ISSRE
Yufeng Zhang, Zhenbang Chen, Ji Wang
2011 B conf
An Intelligent Broker Approach to Semantics-Based Service Composition.
COMPSAC
Yufeng Zhang, Hong Zhu
2008 — conf
Ontology for Service Oriented Testing of Web Services.
SOSE
Yufeng Zhang, Hong Zhu
2008 A conf
Testing Java Components based on Algebraic Specifications.
ICST
Bo Yu, Liang Kong, Yufeng Zhang, Hong Zhu