Output details
11 - Computer Science and Informatics
Brunel University London
Article title
Amorphous Slicing of Extended Finite State Machines
Type
D - Journal article
Title of journal
IEEE Transactions on Software Engineering
Article number
-
Volume number
39
Issue number
7
First page of article
892
ISSN of journal
1939-3520
Year of publication
2013
Number of additional authors
5
Additional information
<10> This paper appeared in the top software engineering journal (IEEE Transactions). Slicing shrinks EFSMs, allowing industry to scale up its use of EFSMs. This work was undertaken on a project with Motorola and other industrial partners who suffered from overly large state-based models, inhibiting their software development. The paper demonstrates that our novel slicing algorithm successfully reduces the size of these industrial models to a manageable size. Slicing has been used to tame program size previously, but this is the first slicing algorithm for EFSMs and the first applied to a large industrial model.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
