David Binkley Nicolas Gold Mark Harman An empirical study of static program slice size. 2007 16 ACM Trans. Softw. Eng. Methodol. 2 http://doi.acm.org/10.1145/1217295.1217297 db/journals/tosem/tosem16.html#BinkleyGH07