Control Dependence for Extended Finite State Machines

Kelly Androutsopoulos; David Clark; Mark Harman; Zheng Li; Laurence Tratt

Control Dependence for Extended Finite State Machines

Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li, Laurence Tratt

Research output: Chapter in Book/Report/Conference proceeding › Conference paper

40 Citations (Scopus)

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 lip with examples to motivate the need for these differences.

Original language	English
Title of host publication	Unknown
Place of Publication	BERLIN
Publisher	Springer
Pages	216 - 230
Number of pages	15
Volume	5503
ISBN (Print)	978-3-642-00592-3
Publication status	Published - 2009
Event	12th International Conference on Fundamental Applroaches to Software Engineering held in Conjuction with European Conference on Theroy and Practice of Software - York, ENGLAND Duration: 22 Mar 2009 → 29 Mar 2009

Publication series

Name	FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS

Conference

Conference	12th International Conference on Fundamental Applroaches to Software Engineering held in Conjuction with European Conference on Theroy and Practice of Software
City	York, ENGLAND
Period	22/03/2009 → 29/03/2009

Cite this

@inbook{2c62dca9a32b4ff6bc0799839e58a9f4,

title = "Control Dependence for Extended Finite State Machines",

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 lip with examples to motivate the need for these differences.",

author = "Kelly Androutsopoulos and David Clark and Mark Harman and Zheng Li and Laurence Tratt",

year = "2009",

language = "English",

isbn = "978-3-642-00592-3",

volume = "5503",

series = "FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS",

publisher = "Springer",

pages = "216 -- 230",

booktitle = "Unknown",

note = "12th International Conference on Fundamental Applroaches to Software Engineering held in Conjuction with European Conference on Theroy and Practice of Software ; Conference date: 22-03-2009 Through 29-03-2009",

}

Androutsopoulos, K, Clark, D , Harman, M, Li, Z & Tratt, L 2009, Control Dependence for Extended Finite State Machines. in Unknown. vol. 5503, FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, Springer, BERLIN, pp. 216 - 230, 12th International Conference on Fundamental Applroaches to Software Engineering held in Conjuction with European Conference on Theroy and Practice of Software, York, ENGLAND, 22/03/2009.

TY - CHAP

T1 - Control Dependence for Extended Finite State Machines

AU - Androutsopoulos, Kelly

AU - Clark, David

AU - Harman, Mark

AU - Li, Zheng

AU - Tratt, Laurence

PY - 2009

Y1 - 2009

N2 - 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 lip with examples to motivate the need for these differences.

AB - 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 lip with examples to motivate the need for these differences.

UR - http://www.scopus.com/inward/record.url?scp=67650137706&partnerID=8YFLogxK

M3 - Conference paper

SN - 978-3-642-00592-3

VL - 5503

T3 - FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS

SP - 216

EP - 230

BT - Unknown

PB - Springer

CY - BERLIN

T2 - 12th International Conference on Fundamental Applroaches to Software Engineering held in Conjuction with European Conference on Theroy and Practice of Software

Y2 - 22 March 2009 through 29 March 2009

ER -

Control Dependence for Extended Finite State Machines

Abstract

Publication series

Conference

Other files and links

Fingerprint

Cite this