10 citations · 36 across the 9 of their papers we have counts for
1 paper · 1 filter
Sahil Verma, Roland H. C. Yap
Symbolic execution is a powerful technique for bug finding and program testing. It is successful in finding bugs in real-world code. The core reasoning techniques use constraint so…