33 citations · 52 across the 3 of their papers we have counts for
3 papers
cs.CR2024
FOX: Coverage-guided Fuzzing as Online Stochastic Control
Dongdong She, Adam Storek, Yuchong Xie +3
Fuzzing is an effective technique for discovering software vulnerabilities by generating random test inputs and executing them against the target program. However, fuzzing large an…
cs.CR2022★ 19 cited
: Rigorous and Efficient Directed Greybox Fuzzing
Abhishek Shah, Dongdong She, Samanway Sadhu +3
Directed greybox fuzzing is a popular technique for targeted software testing that seeks to find inputs that reach a set of target sites in a program. Most existing directed greybo…
cs.LG2022★ 33 cited
General Cutting Planes for Bound-Propagation-Based Neural Network Verification
Huan Zhang, Shiqi Wang, Kaidi Xu +5
Bound propagation methods, when combined with branch and bound, are among the most effective methods to formally verify properties of deep neural networks such as correctness, robu…