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

Hyoung Seok Hong Insup Lee Oleg Sokolsky Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking. 25-34 2005 conf/scam/2005 SCAM http://dx.doi.org/10.1109/SCAM.2005.2 db/conf/scam/scam2005.html#HongLS05