Hyoung Seok Hong, Insup Lee, Oleg Sokolsky. Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking. In 5th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2005), 30 September - 1 October 2005, Budapest, Hungary. pages 25-34, IEEE Computer Society, 2005. [doi]
Abstract is missing.