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

Hyoung Seok Hong Insup Lee Oleg Sokolsky

Published in: SCAM (2005)

Keyphrases

program slicing
abstract interpretation
model checking
formal verification
temporal logic
formal specification
static analysis
source code
description languages
dynamic analysis
reverse engineering
fault localization
termination analysis
query processing
model based diagnosis