Program Slicing in Understanding of Large Programs.

Bogdan Korel Juergen Rilling

Published in: IWPC (1998)

Keyphrases

program slicing
source code
description languages
formal verification
fault localization
reverse engineering
information systems
software systems
software testing
software engineering
open source
description language