PROPERTY DRIVEN PROGRAM SLICING REFINEMENT
Sukriti Bhattacharya, Agostino Cortesi · 2011
A slice is usually computed by analyzing how the effects of a computation are propagated through the code, i.e., by inferring dependencies. The aim of this paper is to further refine the traditional slicing technique by combining it with a static analysis in Abstract Interpretation based framework. This results into a deeper insight on the strong relation between slicing and property based dependency. 1