Program Slicing.

Published in: IEEE Trans. Software Eng. (1984)

Keyphrases

program slicing
description languages
formal verification
source code
fault localization
reverse engineering
model checking
software metrics
description language
software testing
fault detection
software maintenance
software systems
open source
support vector
threshold values
regression testing
software projects