Yufeng Zhang

According to our database, Yufeng Zhang authored at least 28 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Kullback-Leibler Divergence-Based Out-of-Distribution Detection With Flow-Based Generative Models.

Yufeng Zhang, Jialu Pan, Wanwei Liu, Zhenbang Chen, Kenli Li, Ji Wang, Zhiming Liu, Hongmei Wei

IEEE Trans. Knowl. Data Eng., April, 2024

2023

Statement-Level Software Defect Prediction Based on Improved R-Transformer.

Yulei Zhu, Yufeng Zhang, Zhenbang Chen

J. Circuits Syst. Comput., July, 2023

CCMOP: A Runtime Verification Tool for C/C++ Programs.

Yongchao Xing, Zhenbang Chen, Shibo Xu, Yufeng Zhang

Proceedings of the Runtime Verification - 23rd International Conference, 2023

On the Properties of Kullback-Leibler Divergence Between Multivariate Gaussian Distributions.

Yufeng Zhang, Jialu Pan, Li Ken Li, Wanwei Liu, Zhenbang Chen, Xinwang Liu, Ji Wang

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution.

Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Ji Wang

Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023

Symbolic Execution of MPI Programs with One-Sided Communications.

Nenghui Hu, Zheng Bian, Ziqi Shuai, Zhenbang Chen, Yufeng Zhang

Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023

2022

Synergizing Symbolic Execution and Fuzzing By Function-level Selective Symbolization.

Guofeng Zhang, Zhenbang Chen, Ziqi Shuai, Yufeng Zhang, Ji Wang

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2021

Performance analysis and optimization for SpMV based on aligned storage formats on an ARM processor.

Yufeng Zhang, Wangdong Yang, Kenli Li, Dahai Tang, Keqin Li

J. Parallel Distributed Comput., 2021

On the Properties of Kullback-Leibler Divergence Between Gaussians.

Yufeng Zhang, Wanwei Liu, Zhenbang Chen, Kenli Li, Ji Wang

CoRR, 2021

Type and interval aware array constraint solving for symbolic execution.

Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Jun Sun, Ji Wang

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Grammar-agnostic symbolic execution by token symbolization.

Weiyu Pan, Zhenbang Chen, Guofeng Zhang, Yunlai Luo, Yufeng Zhang, Ji Wang

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Synthesize solving strategy for symbolic execution.

Zhenbang Chen, Zehua Chen, Ziqi Shuai, Guofeng Zhang, Weiyu Pan, Yufeng Zhang, Ji Wang

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

A Runtime Monitoring Based Fuzzing Framework for Temporal Properties.

Jinjian Luo, Meixi Liu, Yunlai Luo, Zhenbang Chen, Yufeng Zhang

Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021

2020

Out-of-Distribution Detection with Distance Guarantee in Deep Generative Models.

Yufeng Zhang, Wanwei Liu, Zhenbang Chen, Ji Wang, Zhiming Liu, Kenli Li, Hongmei Wei, Zuoning Chen

CoRR, 2020

Efficient Multiplex Symbolic Execution with Adaptive Search Strategy.

Tianqi Zhang, Yufeng Zhang, Zhenbang Chen, Ziqi Shuai, Ji Wang

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once.

Yufeng Zhang, Zhenbang Chen, Ziqi Shuai, Tianqi Zhang, Kenli Li, Ji Wang

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Synthesizing Smart Solving Strategy for Symbolic Execution.

Zehua Chen, Zhenbang Chen, Ziqi Shuai, Yufeng Zhang, Weiyu Pan

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2017

RGSE: a regular property guided symbolic executor for Java.

Hengbiao Yu, Zhenbang Chen, Yufeng Zhang, Ji Wang, Wei Dong

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

2015

Regular Property Guided Dynamic Symbolic Execution.

Yufeng Zhang, Zhenbang Chen, Ji Wang, Wei Dong, Zhiming Liu

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

MPISE: Symbolic Execution of MPI Programs.

Xianjin Fu, Zhenbang Chen, Yufeng Zhang, Chun Huang, Wei Dong, Ji Wang

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

2014

MPISE: Symbolic Execution of MPI Programs.

Xianjin Fu, Zhenbang Chen, Yufeng Zhang, Chun Huang, Ji Wang

CoRR, 2014

A Test Automation Framework for Collaborative Testing of Web Service Dynamic Compositions.

Hong Zhu, Yufeng Zhang

Proceedings of the Advanced Web Services, 2014

2012

Collaborative Testing of Web Services.

Hong Zhu, Yufeng Zhang

IEEE Trans. Serv. Comput., 2012

S2PF: speculative symbolic PathFinder.

Yufeng Zhang, Zhenbang Chen, Ji Wang

ACM SIGSOFT Softw. Eng. Notes, 2012

Speculative Symbolic Execution.

Yufeng Zhang, Zhenbang Chen, Ji Wang

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

2011

An Intelligent Broker Approach to Semantics-Based Service Composition.

Yufeng Zhang, Hong Zhu

Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2008

Ontology for Service Oriented Testing of Web Services.

Yufeng Zhang, Hong Zhu

Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, 2008

Testing Java Components based on Algebraic Specifications.

Bo Yu, Liang Kong, Yufeng Zhang, Hong Zhu

Proceedings of the First International Conference on Software Testing, 2008