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