Please use this identifier to cite or link to this item:
http://bura.brunel.ac.uk/handle/2438/7942
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Androutsopoulos, K | - |
dc.contributor.author | Clark, D | - |
dc.contributor.author | Harman, M | - |
dc.contributor.author | Hierons, RM | - |
dc.contributor.author | Li, Z | - |
dc.contributor.author | Tratt, L | - |
dc.date.accessioned | 2014-01-22T09:54:27Z | - |
dc.date.available | 2014-01-22T09:54:27Z | - |
dc.date.issued | 2013 | - |
dc.identifier.citation | IEEE Transactions on Software Engineering, 39(7), 892 - 909, 2013 | en_US |
dc.identifier.issn | 0098-5589 | - |
dc.identifier.uri | http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6374192 | en |
dc.identifier.uri | http://bura.brunel.ac.uk/handle/2438/7942 | - |
dc.description.abstract | Slicing is useful for many Software Engineering applications and has been widely studied for three decades, but there has been comparatively little work on slicing Extended Finite State Machines (EFSMs). This paper introduces a set of dependency based EFSM slicing algorithms and an accompanying tool. We demonstrate that our algorithms are suitable for dependence based slicing. We use our tool to conduct experiments on ten EFSMs, including benchmarks and industrial EFSMs. Ours is the first empirical study of dependence based program slicing for EFSMs. Compared to the only previously published dependence based algorithm, our average slice is smaller 40% of the time and larger only 10% of the time, with an average slice size of 35% for termination insensitive slicing. | en_US |
dc.language.iso | en | en_US |
dc.publisher | Institute of Electrical and Electronics Engineers | en_US |
dc.subject | Slicing | en_US |
dc.subject | Extended finite state machines | en_US |
dc.title | Amorphous slicing of extended finite state machines | en_US |
dc.type | Article | en_US |
dc.identifier.doi | http://dx.doi.org/10.1109/TSE.2012.72 | - |
pubs.organisational-data | /Brunel | - |
pubs.organisational-data | /Brunel/Brunel Active Staff | - |
pubs.organisational-data | /Brunel/Brunel Active Staff/School of Info. Systems, Comp & Maths | - |
pubs.organisational-data | /Brunel/Brunel Active Staff/School of Info. Systems, Comp & Maths/IS and Computing | - |
pubs.organisational-data | /Brunel/University Research Centres and Groups | - |
pubs.organisational-data | /Brunel/University Research Centres and Groups/School of Information Systems, Computing and Mathematics - URCs and Groups | - |
pubs.organisational-data | /Brunel/University Research Centres and Groups/School of Information Systems, Computing and Mathematics - URCs and Groups/Centre for Information and Knowledge Management | - |
Appears in Collections: | Computer Science Dept of Computer Science Research Papers |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Fulltext.pdf | 1.06 MB | Unknown | View/Open |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.