King's College London

Research portal

A Theoretical and Empirical Study of EFSM Dependence

Research output: Chapter in Book/Report/Conference proceedingConference paper

Original languageEnglish
Title of host publicationUnknown
Place of PublicationLOS ALAMITOS
PublisherIEEE COMPUTER SOC
Pages287 - 296
Number of pages10
ISBN (Print)978-1-4244-4897-5
Published2009
EventIEEE International Conference on Software Maintenance - Edmonton, Canada
Duration: 20 Sep 200926 Sep 2009

Publication series

Name2009 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, CONFERENCE PROCEEDINGS

Conference

ConferenceIEEE International Conference on Software Maintenance
CountryCanada
CityEdmonton
Period20/09/200926/09/2009

King's Authors

Abstract

Dependence analysis underpins many activities in software maintenance such as comprehension and impact analysis. As a result, dependence has been studied widely for programming languages, notably through work on program slicing. However, there is comparatively little work on dependence analysis at the model level and hitherto, no empirical studies. We introduce a slicing tool for Extended Finite State Machines (EFSMs) and use the tool to gather empirical results on several forms of dependence found in ten EFSMs, including well-known benchmarks in addition to real-world EFSM models. We investigate the statistical properties of dependence using statistical tests for correlation and formalize and prove four of the empirical findings arising from our empirical study. The paper thus provides the maintainer with both empirical data and foundational theoretical results concerning dependence in EFSM models.

View graph of relations

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454