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, pp. 216-230.

Full text available as:

[img]
Preview
PDF
315kB

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

Abstract

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
ID Code:10667
Deposited By:Dr Laurence Tratt LEFT
Deposited On:29 Aug 2009 18:42
Last Modified:07 Mar 2013 15:11

Document Downloads

More statistics for this item...
Repository Staff Only -
BU Staff Only -
Help Guide - Editing Your Items in BURO