3 citations · 3 across the 1 of their papers we have counts for
1 paper
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…