Login / Signup
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