Control Dependence for Extended Finite State Machines

Authors:
Kelly Androutsopoulos;David Clark;Mark Harman;Zheng Li;Laurence Tratt
Affiliations:
Department of Computer Science, King's College London, Strand, London, United Kingdom WC2R 2LS;Department of Computer Science, King's College London, Strand, London, United Kingdom WC2R 2LS;Department of Computer Science, King's College London, Strand, London, United Kingdom WC2R 2LS;Department of Computer Science, King's College London, Strand, London, United Kingdom WC2R 2LS;Bournemouth University, Poole, Dorset, United Kingdom BH12 5BB
Venue:
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Year:
2009

Citing 15
Cited 6

Statecharts: A visual formalism for complex systems

Science of Computer Programming
Interprocedural slicing using dependence graphs

ACM Transactions on Programming Languages and Systems (TOPLAS)
Requirements Specification for Process-Control Systems

IEEE Transactions on Software Engineering
Reduction and slicing of hierarchical state machines

ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Slicing Hierarchical Automata for Model Checking UML Statecharts

ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Program slicing

ICSE '81 Proceedings of the 5th international conference on Software engineering
On the Effectiveness of Slicing Hierarchical State Machines: A Case Study

EUROMICRO '98 Proceedings of the 24th Conference on EUROMICRO - Volume 1
Slicing of State-Based Models

ICSM '03 Proceedings of the International Conference on Software Maintenance
Amorphous program slicing

Journal of Systems and Software
Formal Validation of Hierarchical State Machines against Expectations

ASWEC '07 Proceedings of the 2007 Australian Software Engineering Conference
A new foundation for control dependence and slicing for modern program structures

ACM Transactions on Programming Languages and Systems (TOPLAS) - Special Issue ESOP'05
Slicing communicating automata specifications: polynomial algorithms for model reduction

Formal Aspects of Computing
SVtL: system verification through logic tool support for verifying sliced hierarchical statecharts

WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Symbolic execution techniques for test purpose definition

TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
A new foundation for control-dependence and slicing for modern program structures

ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems

Generation of improved test cases from UML state diagram using genetic algorithm

Proceedings of the 4th India Software Engineering Conference
A unifying theory of control dependence and its application to arbitrary program structures

Theoretical Computer Science
A SysML-based approach to traceability management and design slicing in support of safety certification: Framework, tool support, and case studies

Information and Software Technology
Slicing MATLAB simulink models

Proceedings of the 34th International Conference on Software Engineering
Regression test suite prioritization using system models

Software Testing, Verification & Reliability
State-based model slicing: A survey

ACM Computing Surveys (CSUR)

Quantified Score

Hi-index	0.00

Visualization

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.