A New Approach for Concurrent Program Slicing.

Pierre Rousseau

Published in: FORTE (2006)

Keyphrases

program slicing
description languages
fault localization
source code
formal verification
reverse engineering
description language
expert systems
software maintenance
software testing
software metrics
software systems