A large-scale empirical study of forward and backward static slice size and context sensitivity | IEEE Conference Publication | IEEE Xplore