Restructuring Programs through Program Slicing.

Hyeon Soo Kim Yong Rae Kwon In Sang Chung

Published in: Int. J. Softw. Eng. Knowl. Eng. (1994)

Keyphrases

program slicing
description languages
source code
formal verification
fault localization
reverse engineering
model checking
software maintenance
neural network
monitoring system
software testing
data abstraction
software metrics