113 citations · 1.1k across the 69 of their papers we have counts for
1 paper · 2 filters
Hui Xu, Zirui Zhao, Yangfan Zhou +1
Symbolic execution now becomes an indispensable technique for software testing and program analysis. There are several symbolic execution tools available off-the-shelf, and we need…