Output details
11 - Computer Science and Informatics
University College London
Return to search
Output 0 of 0 in the submission
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
0098-5589
Year of publication
2013
Number of additional authors
5
Additional information
<07> 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
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
-
