Faster WCET flow analysis by program slicing.

Christer Sandberg Andreas Ermedahl Jan Gustafsson Björn Lisper

Published in: LCTES (2006)

Keyphrases

flow analysis
program slicing
source code
information flow
description languages
fault localization
formal verification
reverse engineering
description language
decision making
multi agent systems
anomaly detection
software metrics