A vocabulary of program slicing-based techniques.

Published in: ACM Comput. Surv. (2012)

Keyphrases

program slicing
description languages
source code
fault localization
formal verification
reverse engineering
description language
open source
software maintenance
software systems
case study
high level
software testing