20 citations · 23 across the 5 of their papers we have counts for
5 papers
SF: Principled Hybrid Testing With Fuzzing, Symbolic Execution, and Sampling
Lianjing Wang, Yufeng Zhang, Kenli Li +5
Hybrid testing that integrates fuzzing, symbolic execution, and sampling has demonstrated superior testing efficiency compared to individual techniques. However, the state-of-the-a…
On the Properties of Kullback-Leibler Divergence Between Multivariate Gaussian Distributions
Yufeng Zhang, Wanwei Liu, Zhenbang Chen +2
Kullback-Leibler (KL) divergence is one of the most important divergence measures between probability distributions. In this paper, we prove several properties of KL divergence bet…
Kullback-Leibler Divergence-Based Out-of-Distribution Detection with Flow-Based Generative Models
Yufeng Zhang, Jialu Pan, Wanwei Liu +5
Recent research has revealed that deep generative models including flow-based models and Variational Autoencoders may assign higher likelihoods to out-of-distribution (OOD) data th…
MPISE: Symbolic Execution of MPI Programs
Xianjin Fu, Zhenbang Chen, Yufeng Zhang +3
Message Passing Interfaces (MPI) plays an important role in parallel computing. Many parallel applications are implemented as MPI programs. The existing methods of bug detection fo…
Speculative Symbolic Execution
Yufeng Zhang, Zhenbang Chen, Ji Wang
Symbolic execution is an effective path oriented and constraint based program analysis technique. Recently, there is a significant development in the research and application of sy…