Yufeng Zhang

Orcid: 0000-0001-6082-4501

Affiliations:

Hunan University, College of Computer Science and Electronic Engineering, China

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

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

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

[BibT_eX]

[DOI]

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

Adaptive solving strategy synthesis for symbolic execution.

[BibT_eX]

[DOI]

J. Softw. Evol. Process., April, 2024

Verification of message-passing uninterpreted programs.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2024

Partial Solution Based Constraint Solving Cache in Symbolic Execution.

[BibT_eX]

[DOI]

Proc. ACM Softw. Eng., 2024

OnceNAS: Discovering efficient on-device inference neural networks for edge devices.

[BibT_eX]

[DOI]

Inf. Sci., 2024

2023

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

[BibT_eX]

[DOI]

Yulei Zhu

Yufeng Zhang

Zhenbang Chen

J. Circuits Syst. Comput., July, 2023

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Symbolic Execution of MPI Programs with One-Sided Communications.

[BibT_eX]

[DOI]

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

2022

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2021

On the Properties of Kullback-Leibler Divergence Between Gaussians.

[BibT_eX]

[DOI]

CoRR, 2021

Type and interval aware array constraint solving for symbolic execution.

[BibT_eX]

[DOI]

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

Grammar-agnostic symbolic execution by token symbolization.

[BibT_eX]

[DOI]

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

Synthesize solving strategy for symbolic execution.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2020

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

[BibT_eX]

[DOI]

CoRR, 2020

Efficient Multiplex Symbolic Execution with Adaptive Search Strategy.

[BibT_eX]

[DOI]

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

Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once.

[BibT_eX]

[DOI]

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

Synthesizing Smart Solving Strategy for Symbolic Execution.

[BibT_eX]

[DOI]

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

2017

RGSE: a regular property guided symbolic executor for Java.

[BibT_eX]

[DOI]

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

2015

Regular Property Guided Dynamic Symbolic Execution.

[BibT_eX]

[DOI]

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

MPISE: Symbolic Execution of MPI Programs.

[BibT_eX]

[DOI]

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

2014

MPISE: Symbolic Execution of MPI Programs.

[BibT_eX]

[DOI]

CoRR, 2014

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

[BibT_eX]

[DOI]

Hong Zhu

Yufeng Zhang

Proceedings of the Advanced Web Services, 2014

2012

Collaborative Testing of Web Services.

[BibT_eX]

[DOI]

Hong Zhu

Yufeng Zhang

IEEE Trans. Serv. Comput., 2012

S2PF: speculative symbolic PathFinder.

[BibT_eX]

[DOI]

Yufeng Zhang

Zhenbang Chen

Ji Wang

ACM SIGSOFT Softw. Eng. Notes, 2012

Speculative Symbolic Execution.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Yufeng Zhang

Hong Zhu

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

Testing Java Components based on Algebraic Specifications.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Software Testing, 2008

Yufeng Zhang

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...