Dagstuhl Seminar Proceedings. 05451 - Beyond Program Slicing
Doi
Abstract
The construction of an And-Or dependence graphs is illustrated,
and its use in slicing statecharts is described. The additional
structure allows for more precise slices to be constructed in the
event of additional information, such as may be provided by
static analysis and model checking, and with constraints on the
global state and external events