17 citations · 18 across the 4 of their papers we have counts for
3 papers · 1 filter
Symbolic Execution for Randomized Programs
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…
Input Validation with Symbolic Execution
Anay Mehrotra, Ayush Bansal, Awanish Pandey +1
Symbolic execution has always been plagued by the inability to handle programs that require highly structured inputs. Most often, the symbolic execution engine gets overwhelmed by…
Distributed Bounded Model Checking
Prantik Chatterjee, Subhajit Roy, Bui Phi Diep +1
Program verification is a resource-hungry task. This paper looks at the problem of parallelizing SMT-based automated program verification, specifically bounded model-checking, so t…