20 citations · 27 across the 5 of their papers we have counts for
5 papers
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…
Boosting the Robustness Verification of DNN by Identifying the Achilles's Heel
Chengdong Feng, Zhenbang Chen, Weijiang Hong +3
Deep Neural Network (DNN) is a widely used deep learning technique. How to ensure the safety of DNN-based system is a critical problem for the research and application of DNN. Robu…
Scheduling Constraint Based Abstraction Refinement for Multi-Threaded Program Verification
Liangze Yin, Wei Dong, Wanwei Liu +1
Bounded model checking is among the most efficient techniques for the automatic verification of concurrent programs. However, encoding all possible interleavings often requires a h…
Counterexample-Preserving Reduction for Symbolic Model Checking
Wanwei Liu, Rui Wang, Xianjin Fu +3
The cost of LTL model checking is highly sensitive to the length of the formula under verification. We observe that, under some specific conditions, the input LTL formula can be re…
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…