Node Coarsening Calculi for Program Slicing.

Mark Harman Robert M. Hierons Sebastian Danicic John Howroyd Michael R. Laurence Chris Fox

Published in: WCRE (2001)

Keyphrases

program slicing
formal verification
description languages
source code
fault localization
reverse engineering
description language
relational databases
regression testing