17 citations · 17 across the 1 of their papers we have counts for
1 paper
Zachary Susag, Sumit Lahiri, Justin Hsu +1
We propose a symbolic execution method for programs that can draw random samples. In contrast to existing work, our method can verify randomized programs with unknown inputs and ca…