Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices.

Jean-Christophe Lchenet, Nikolai Kosmatov, Pascale Le Gall

Browse the full FASE paper archive.