Control dependence for extended finite state machines.
Androutsopoulos, Kelly 
ORCID: https://orcid.org/0000-0001-8257-1867, Clark, David, Harman, Mark, Li, Zheng and Tratt, Laurence
(2009)
Control dependence for extended finite state machines.
Lecture Notes in Computer Science, 5503
.
pp. 216-230.
ISSN 0302-9743
[Article]
(doi:10.1007/978-3-642-00593-0_15)
|
PDF
- UNSPECIFIED
Download (323kB) | Preview |
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 denitions, introducing a new denition that subsumes one and extends another. We illustrate that by using this new denition our slices respect Weiser slicing's termination behaviour. We prove results that clarify the relationships
between our denition and older ones, following this up with examples to motivate the need for these dierences.
| Item Type: | Article |
|---|---|
| Additional Information: | Fundamental Approaches to Software Engineering (FASE '09)conference held in York, March 2009.
Awarded 'Best Paper'. |
| Research Areas: | A. > School of Science and Technology > Computer Science |
| ISI Impact: | 2 |
| Item ID: | 5898 |
| Notes on copyright: | The final authenticated version is available online at https://doi.org/10.1007/978-3-642-00593-0_15 |
| Useful Links: | |
| Depositing User: | Dr Laurence Tratt |
| Date Deposited: | 28 May 2010 11:52 |
| Last Modified: | 30 Nov 2022 01:25 |
| URI: | https://eprints.mdx.ac.uk/id/eprint/5898 |
Actions (login required)
 |
View Item |
Statistics
Additional statistics are available via IRStats2.
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)