Amorphous Program Slicing.

Mark Harman Sebastian Danicic

Published in: WPC (1997)

Keyphrases

program slicing
source code
description languages
fault localization
formal verification
thin film
reverse engineering
software metrics
artificial intelligence
information systems
software systems
model checking
software projects
address these issues
description language
data abstraction