The Semantics of Program Slicing and Program Integration.

Thomas W. Reps Wuu Yang

Published in: TAPSOFT, Vol.2 (1989)

Keyphrases

program slicing
fault localization
description languages
source code
formal verification
reverse engineering
open source
model checking
software maintenance
description language
high level
feature space
knowledge management
model based diagnosis
formal specification
software metrics