A theoretical and empirical study of EFSM dependence.

Androutsopoulos, Kelly and Gold, Nicolas and Harman, Mark and Li, Zheng and Tratt, Laurence (2009) A theoretical and empirical study of EFSM dependence. Software Maintenance, 2009. ICSM 2009. IEEE International Conference . pp. 287-296. ISSN 1063-6773


Official URL: http://tinyurl.com/3273w9w

This item is available in the Library Catalogue


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.

Item Type:Article
Research Areas:A. > School of Science and Technology > Computer Science
Citations on ISI Web of Science:0
ID Code:5899
Deposited On:28 May 2010 12:15
Last Modified:07 Oct 2015 13:55

Repository staff only: item control page

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year