Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(3)
Control Dependence
Extended Finite State Machine
State Machine
Subscribe
Academic
Publications
Control Dependence for Extended Finite State Machines
Edit
Control Dependence for Extended Finite State Machines
(
Citations: 5
)
BibTex
|
RIS
|
RefWorks
Download
Kelly Androutsopoulos
,
David Clark
,
Mark Harman
,
Zheng Li
,
Laurence Tratt
Though there has been nearly three decades of work on pro- gram slicing, there has been comparatively little work on slicing for state machines. One of the primary challenges that currently presents a bar- rier to wider application of
state machine
slicing is the problem of de- termining 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 rela- tionships between our denition and older ones, following this up with examples to motivate the need for these dierences.
Conference:
Fundamental Approaches to Software Engineering - FASE
, pp. 216-230, 2009
DOI:
10.1007/978-3-642-00593-0_15
Cumulative
Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
(
www.springerlink.com
)
(
www.springerlink.com
)
(
www.dcs.kcl.ac.uk
)
(
eprints.bournemouth.ac.uk
)
(
www.dcs.kcl.ac.uk
)
(
dx.doi.org
)
(
www.informatik.uni-trier.de
)
(
www.dcs.kcl.ac.uk
)
(
tratt.net
)
More »
Citation Context
(5)
...Transitions have a source state ����� (� ) ∈� , a target state ������ (� ) ∈� and a label ��� (� ). Transition labels are of the form �1 [� ]/�, where �1 ∈ �� , � is a guard, i.e., a condition that guards the transition from being taken when an �1 is true, and a is a sequence of actions. All parts of a label are optional [
24
]...
Mahesh Shirole
,
et al.
Generation of improved test cases from UML state diagram using genetic...
...We select the dependence analysis for state models defined by Androutsopoulos et al. [10], [
11
], since they encompass the main results of previous works and also cope with the nontermination possibility in EFSM...
Thaise Yano
,
et al.
MOST: A Multi-objective Search-Based Testing from EFSM
...An EFSM [
17
] is defined as a tuple as follows:...
Thanh Binh Nguyen
,
et al.
Transition-based testability analysis for reactive systems
...Many researchers have applied slicing technique to software specification like Z specification, software architecture like Unified Modelling Language (UML), and state-based model like Extended Finite State Machine (EFSM) ( [2], [3], [8]–[
11
])...
Arthorn Luangsodsai
,
et al.
Concurrent statechart slicing
...This has lead to numerous definitions of control dependence [
2
]...
...Also, we have defined a new control dependence definition in [
2
], called Unfair Non-termination Insensitive Control Dependence (UNTICD) that overcomes the limitation’s of NTICD...
...Definition 4 (Unfair Sink-bounded Path [
2
])...
...This result reflects the formally-proved property that the transitive closure of NTICD is contained in the transitive closure of UN-TICD [
2
]...
...In Figure 3, it can be observed that the properties formally shown in [
2
] are true for all ten models...
...Androutsopoulos et al. [
2
] briefly surveyed the definitions of control dependence for slicing finite machines (FSM)...
Kelly Androutsopoulos
,
et al.
A theoretical and empirical study of EFSM dependence
References
(24)
Conditioned program slicing
(
Citations: 118
)
Gerardo Canfora
,
Aniello Cimitile
,
Andrea De Lucia
Journal:
Information & Software Technology - INFSOF
, vol. 40, no. 11-12, pp. 595-607, 1998
Program Slicing: Methods and Applications
(
Citations: 69
)
Andrea De Lucia
,
Palazzo Bosco Lucarelli
Conference:
Source Code Analysis and Manipulation - SCAM
, pp. 144-151, 2001
Symbolic Execution Techniques for Test Purpose Definition
(
Citations: 27
)
Christophe Gaston
,
Pascale Le Gall
,
Nicolas Rapin
,
Assia Touil
Conference:
IFIP International Conference on Testing of Communicating Systems - TestCom
, pp. 1-18, 2006
Statecharts: A Visual Formulation for Complex Systems
(
Citations: 2346
)
David Harel
Journal:
Science of Computer Programming - SCP
, vol. 8, no. 3, pp. 231-274, 1987
Amorphous program slicing
(
Citations: 60
)
Mark Harman
,
David Binkley
,
Sebastian Danicic
Journal:
Journal of Systems and Software - JSS
, vol. 68, no. 1, pp. 45-64, 2003
Order by:
Citations
(5)
Generation of improved test cases from UML state diagram using genetic algorithm
Mahesh Shirole
,
Amit Suthar
,
Rajeev Kumar
Published in 2011.
MOST: A Multi-objective Search-Based Testing from EFSM
Thaise Yano
,
Eliane Martins
,
Fabiano L. de Sousa
Conference:
International Conference on Software Testing, Verification, and Validation - ICST
, 2011
Transition-based testability analysis for reactive systems
Thanh Binh Nguyen
,
Michel Delaunay
,
Chantal Robach
Conference:
IEEE International Conference on Computer Science and Automation Engineering - CSAE
, 2011
Concurrent statechart slicing
(
Citations: 1
)
Arthorn Luangsodsai
,
Chris Fox
Published in 2010.
A theoretical and empirical study of EFSM dependence
(
Citations: 4
)
Kelly Androutsopoulos
,
Nicolas Gold
,
Mark Harman
,
Zheng Li
,
Laurence Tratt
Conference:
International Conference on Software Maintenance - ICSM
, pp. 287-296, 2009