Control dependence for extended finite state machines
Conference paper
Androutsopoulos, K., Clark, D., Harman, M., Li, Z. and Tratt, L. 2009. Control dependence for extended finite state machines. Chechik, M. and Wirsing, M. (ed.) Fundamental Approaches to Software Engineering (FASE '09): 12th International Conference. York, UK. 03 - 22 Mar 2009 Springer. pp. 216-230 https://doi.org/10.1007/978-3-642-00593-0_15
Type | Conference paper |
---|---|
Title | Control dependence for extended finite state machines |
Authors | Androutsopoulos, K., Clark, D., Harman, M., Li, Z. and Tratt, L. |
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 |
Conference | Fundamental Approaches to Software Engineering (FASE '09): 12th International Conference |
Page range | 216-230 |
Proceedings Title | Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings |
Series | Lecture Notes in Computer Science |
Editors | Chechik, M. and Wirsing, M. |
ISSN | 0302-9743 |
Electronic | 1611-3349 |
ISBN | |
Paperback | 9783642005923 |
Electronic | 9783642005930 |
Publisher | Springer |
Publication dates | |
09 Mar 2009 | |
Online | 28 Mar 2009 |
Publication process dates | |
Deposited | 28 May 2010 |
Output status | Published |
Copyright Statement | The final authenticated version is available online at https://doi.org/10.1007/978-3-642-00593-0_15 |
Additional information | Fundamental Approaches to Software Engineering (FASE '09) conference held in York, March 2009. Awarded 'Best Paper'. |
Digital Object Identifier (DOI) | https://doi.org/10.1007/978-3-642-00593-0_15 |
Scopus EID | 2-s2.0-67650137706 |
Web address (URL) of conference proceedings | https://doi.org/10.1007/978-3-642-00593-0 |
Related Output | |
Has metadata | http://www.scopus.com/inward/record.url?eid=2-s2.0-67650137706&partnerID=MN8TOARS |
Language | English |
File |
https://repository.mdx.ac.uk/item/82wqx
Download files
95
total views15
total downloads8
views this month3
downloads this month