Skip to main content

Control dependence for extended finite state machines.

Androutsopoulos, K., Clark, D., Harman, M., Li, Z. and Tratt, L., 2009. Control dependence for extended finite state machines. In: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, 22-29 March 2009, York, 216-230.

Full text available as:



DOI: 10.1007/978-3-642-00593-0_15


Though there has been nearly three decades of work on program slicing, there has been comparatively little work on slicing for state machines. One of the primary challenges that currently presents a barrier to wider application of state machine slicing is the problem of determining control dependence. We survey existing related definitions, introducing a new definition that subsumes one and extends another. We illustrate that by using this new definition our slices respect Weiser slicing’s termination behaviour. We prove results that clarify the relationships between our definition and older ones, following this up with examples to motivate the need for these differences.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Best Software Science Paper Award at the 12th European Join Conference on Theory and Practice ETAPS 2009 Lecture Notes in Computer Science Volume 5503/2009
Uncontrolled Keywords:extended finite state machines - reactive systems - control dependence - slicing
Group:Faculty of Science & Technology
ID Code:10667
Deposited By: Dr Laurence Tratt LEFT
Deposited On:29 Aug 2009 17:42
Last Modified:14 Mar 2022 13:23


Downloads per month over past year

More statistics for this item...
Repository Staff Only -