Aharon Abadi Ran Ettinger Yishai A. Feldman Improving slice accuracy by compression of data and control flow paths. 223-232 2009 ESEC/SIGSOFT FSE http://doi.acm.org/10.1145/1595696.1595729 conf/sigsoft/2009 db/conf/sigsoft/fse2009.html#AbadiEF09