Scenario oriented program slicing.

Ju Qian Baowen Xu

Published in: SAC (2008)

Keyphrases

program slicing
description languages
formal verification
fault localization
source code
reverse engineering
real world
software metrics
model checking
raw data