"Improving slice accuracy by compression of data and control flow paths."

Aharon Abadi, Ran Ettinger, Yishai A. Feldman (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics