Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Hyoung Seok Hong' in GoogleThis author has not been identified. Look up 'Insup Lee' in GoogleThis author has not been identified. Look up 'Oleg Sokolsky' in Google

runs on WebDSL