Formalizing executable dynamic and forward slicing | IEEE Conference Publication | IEEE Xplore