Amorphous program slicing.

Mark Harman David W. Binkley Sebastian Danicic

Published in: J. Syst. Softw. (2003)

Keyphrases

program slicing
description languages
source code
formal verification
fault localization
thin film
reverse engineering
software maintenance
software testing
regression testing
software systems
model checking
support vector
relational databases
dynamic systems
software metrics