Specification-based program slicing and its applications.

Wan Kwon Lee In Sang Chung Gwang Sik Yoon Yong Rae Kwon

Published in: J. Syst. Archit. (2001)

Keyphrases

program slicing
formal verification
description languages
source code
fault localization
model checking
reverse engineering
artificial intelligence
high level
description language
software maintenance