3 citations · 4 across the 2 of their papers we have counts for
1 paper · 1 filter
Shikhar Singh, Sarfraz Khurshid
Symbolic execution is a classic technique for systematic bug finding, which has seen many applications in recent years but remains hard to scale. Recent work introduced ranged symb…