Causal Program Slicing.

Ross Gore Paul F. Reynolds Jr.

Published in: PADS (2009)

Keyphrases

program slicing
source code
description languages
fault localization
formal verification
reverse engineering
software metrics
description language
open source
neural network
information systems
test cases
model checking
software testing
regression testing