And-Or Dependence Graphs for Slicing Statecharts
Chris Fox, Arthorn Luangsodsai · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2006
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.