3 citations · 3 across the 4 of their papers we have counts for
1 paper · 2 filters
Ahmed Tamrawi, Suresh Kothari
Efficient and accurate path-sensitive analyses pose the challenges of: (a) analyzing an exponentially-increasing number of paths in a control-flow graph (CFG), and (b) checking fea…