84 citations · 88 across the 4 of their papers we have counts for
1 paper · 1 filter
Shiqi Shen, Soundarya Ramesh, Shweta Shinde +2
Symbolic execution is a powerful technique for program analysis. However, it has many limitations in practical applicability: the path explosion problem encumbers scalability, the…