Hyoung Seok Hong, Insup Lee, Oleg Sokolsky. Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking. Source Code Analysis and Manipulation, IEEE International Workshop on, 0, 2005. [doi]
Abstract is missing.