Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking.

Hyoung Seok Hong, Insup Lee, Oleg Sokolsky

Browse the full SCAM paper archive.