Tools
ToolsAndroutsopoulos, 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:
![[img]](/style/images/fileicons/application_pdf.png)
|
PDF
androutsopoulos_clark_harman_li_tratt__control_dependence_for_extended_finite_state_machines.pdf 323kB | |
|
Copyright to original material in this document is with the original owner(s). Access to this content through BURO is granted on condition that you use it only for research, scholarly or other non-commercial purposes. If you wish to use it for any other purposes, you must contact BU via BURO@bournemouth.ac.uk. Any third party copyright material in this document remains the property of its respective owner(s). BU grants no licence for further use of that third party material. |
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 |
| 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
Downloads per month over past year
| Repository Staff Only - |