Program Slicing via FermaT Transformations.

Published in: COMPSAC (2002)

Keyphrases

program slicing
description languages
fault localization
source code
formal verification
reverse engineering
data model
relational databases
model checking
neural network
information systems
high level
programming language
domain independent
description language