Output details
11 - Computer Science and Informatics
Middlesex University
Output title
A theoretical and empirical study of EFSM dependence
Type
E - Conference contribution
Name of conference/published proceedings
2009 IEEE International Conference on Software Maintenance
Volume number
-
Issue number
-
First page of article
287
ISSN of proceedings
1063-6773
Year of publication
2009
URL
-
Number of additional authors
4
Additional information
<07> This paper investigates the statistical properties of dependence for state-based models. It compliments our Formal Aspects of Software Engineering conference paper which explored control dependencies of EFSMs. This work was undertaken on a project with Motorola who suffered from overly large state-based models and was supported by an EPSRC grant (EP/F059442/1). The results over ten Extended Finite State Machines (EFSM) show that the slice size of EFSMs is notably larger than that for program slice size.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
6
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-