The Semantics of Abstract Program Slicing.

Damiano Zanardini

Published in: SCAM (2008)

Keyphrases

program slicing
description languages
fault localization
formal verification
source code
reverse engineering
case study
software maintenance
information systems
expert systems