Program Slicing.

David W. Binkley Keith Brian Gallagher

Published in: Adv. Comput. (1996)

Keyphrases

program slicing
description languages
source code
fault localization
formal verification
reverse engineering
description language
object oriented
software metrics
high level
expert systems
software systems
quality control
model based diagnosis