Yufeng Zhang

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 18

Top Topics

Symbolic Execution

Constraint Solving

Multivariate Gaussian

Generative Model

Top Venues

Publications

Weijiang Hong, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Yide Du, Ji Wang
Verification of message-passing uninterpreted programs. Sci. Comput. Program. 234 (2024)
Yufeng Zhang, Jialu Pan, Wanwei Liu, Zhenbang Chen, Kenli Li, Ji Wang, Zhiming Liu, Hongmei Wei
Kullback-Leibler Divergence-Based Out-of-Distribution Detection With Flow-Based Generative Models. IEEE Trans. Knowl. Data Eng. 36 (4) (2024)
Zhenbang Chen, Guofeng Zhang, Zehua Chen, Ziqi Shuai, Weiyu Pan, Yufeng Zhang, Ji Wang
Adaptive solving strategy synthesis for symbolic execution. J. Softw. Evol. Process. 36 (4) (2024)
Ziqi Shuai, Zhenbang Chen, Kelin Ma, Kunlin Liu, Yufeng Zhang, Jun Sun, Ji Wang
Partial Solution Based Constraint Solving Cache in Symbolic Execution. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Nenghui Hu, Zheng Bian, Ziqi Shuai, Zhenbang Chen, Yufeng Zhang
Symbolic Execution of MPI Programs with One-Sided Communications. APSEC (2023)
Yufeng Zhang, Jialu Pan, Li Ken Li, Wanwei Liu, Zhenbang Chen, Xinwang Liu, Ji Wang
On the Properties of Kullback-Leibler Divergence Between Multivariate Gaussian Distributions. NeurIPS (2023)
Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Ji Wang
Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution. APSEC (2023)
Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Jun Sun, Ji Wang
Type and interval aware array constraint solving for symbolic execution. ISSTA (2021)
Weiyu Pan, Zhenbang Chen, Guofeng Zhang, Yunlai Luo, Yufeng Zhang, Ji Wang
Grammar-agnostic symbolic execution by token symbolization. ISSTA (2021)
Yufeng Zhang, Wangdong Yang, Kenli Li, Dahai Tang, Keqin Li
Performance analysis and optimization for SpMV based on aligned storage formats on an ARM processor. J. Parallel Distributed Comput. 158 (2021)
Zhenbang Chen, Zehua Chen, Ziqi Shuai, Guofeng Zhang, Weiyu Pan, Yufeng Zhang, Ji Wang
Synthesize solving strategy for symbolic execution. ISSTA (2021)
Yufeng Zhang, Wanwei Liu, Zhenbang Chen, Kenli Li, Ji Wang
On the Properties of Kullback-Leibler Divergence Between Gaussians. CoRR (2021)
Jinjian Luo, Meixi Liu, Yunlai Luo, Zhenbang Chen, Yufeng Zhang
A Runtime Monitoring Based Fuzzing Framework for Temporal Properties. ISSRE Workshops (2021)
Zehua Chen, Zhenbang Chen, Ziqi Shuai, Yufeng Zhang, Weiyu Pan
Synthesizing Smart Solving Strategy for Symbolic Execution. ASE (2020)
Tianqi Zhang, Yufeng Zhang, Zhenbang Chen, Ziqi Shuai, Ji Wang
Efficient Multiplex Symbolic Execution with Adaptive Search Strategy. ASE (2020)
Yufeng Zhang, Zhenbang Chen, Ziqi Shuai, Tianqi Zhang, Kenli Li, Ji Wang
Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once. ASE (2020)
Yufeng Zhang, Wanwei Liu, Zhenbang Chen, Ji Wang, Zhiming Liu, Kenli Li, Hongmei Wei, Zuoning Chen
Out-of-Distribution Detection with Distance Guarantee in Deep Generative Models. CoRR (2020)
Hengbiao Yu, Zhenbang Chen, Yufeng Zhang, Ji Wang, Wei Dong
RGSE: a regular property guided symbolic executor for Java. ESEC/SIGSOFT FSE (2017)
Yufeng Zhang, Zhenbang Chen, Ji Wang, Wei Dong, Zhiming Liu
Regular Property Guided Dynamic Symbolic Execution. ICSE (1) (2015)
Xianjin Fu, Zhenbang Chen, Yufeng Zhang, Chun Huang, Wei Dong, Ji Wang
MPISE: Symbolic Execution of MPI Programs. HASE (2015)
Xianjin Fu, Zhenbang Chen, Yufeng Zhang, Chun Huang, Ji Wang
MPISE: Symbolic Execution of MPI Programs. CoRR (2014)
Yufeng Zhang, Zhenbang Chen, Ji Wang
Speculative Symbolic Execution. ISSRE (2012)
Hong Zhu, Yufeng Zhang
Collaborative Testing of Web Services. IEEE Trans. Serv. Comput. 5 (1) (2012)
Yufeng Zhang, Zhenbang Chen, Ji Wang
S2PF: speculative symbolic PathFinder. ACM SIGSOFT Softw. Eng. Notes 37 (6) (2012)
Yufeng Zhang, Zhenbang Chen, Ji Wang
Speculative Symbolic Execution CoRR (2012)
Yufeng Zhang, Hong Zhu
An Intelligent Broker Approach to Semantics-Based Service Composition. COMPSAC (2011)
Yufeng Zhang, Hong Zhu
Ontology for Service Oriented Testing of Web Services. SOSE (2008)
Bo Yu, Liang Kong, Yufeng Zhang, Hong Zhu
Testing Java Components based on Algebraic Specifications. ICST (2008)