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, pp. 216-230.
Full text available as:
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|
|Subjects:||Generalities > Computer Science and Informatics|
|Group:||School of Design, Engineering & Computing > Software Systems Research Centre|
|Deposited By:||Dr Laurence Tratt LEFT|
|Deposited On:||29 Aug 2009 18:42|
|Last Modified:||07 Mar 2013 15:11|
Document DownloadsMore statistics for this item...
|Repository Staff Only -|
|BU Staff Only -|
|Help Guide -||Editing Your Items in BURO|