Dependence condition graph for semantics-based abstract program slicing.

Agostino Cortesi Raju Halder

Published in: LDTA (2010)

Keyphrases

program slicing
source code
description languages
formal verification
fault localization
monitoring system
reverse engineering