2026-07-22T06:37:41Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:493 2024-03-06T11:06:34Z ddc:004 open_access

And-Or Dependence Graphs for Slicing Statecharts Fox, Chris Luangsodsai, Arthorn Slicing statecharts And-Or depdence graphs interference conditioning 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Chris Fox and Arthorn Luangsodsai 2006 Is Part Of Dagstuhl Seminar Proceedings, Volume 5451, Beyond Program Slicing (2006) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.05451.5 urn:nbn:de:0030-drops-4932 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05451.5 eng https://creativecommons.org/licenses/by/4.0/legalcode