173 citations · 655 across the 66 of their papers we have counts for
1 paper · 2 filters
Daniel Kroening, Matt Lewis, Georg Weissenbacher
Loop under-approximation is a technique that enriches C programs with additional branches that represent the effect of a (limited) range of loop iterations. While this technique ca…