Leaping Loops in the Presence of Abstraction.

Thomas Ball, Orna Kupferman, Mooly Sagiv

Browse the full CAV paper archive.