Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/10883
Full metadata record
DC FieldValueLanguage
dc.contributor.authorBogdanov, Kirill-
dc.contributor.authorWalkinshaw, Neil-
dc.contributor.editorZaidman, A.-
dc.contributor.editorAntoniol, G.-
dc.contributor.editorDucasee, S.-
dc.date.accessioned2012-07-04T14:26:24Z-
dc.date.available2012-07-04T14:26:24Z-
dc.date.issued2009-10-
dc.identifier.citationReverse Engineering, 2009, (WCRE '09), 16th Working Conference on, pp. 177-186 (10)en
dc.identifier.isbn978-0-7695-3867-9-
dc.identifier.urihttp://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5328817en
dc.identifier.urihttp://hdl.handle.net/2381/10883-
dc.description.abstractSoftware behaviour models play an important role in software development. They can be manually generated to specify the intended behaviour of a system, or they can be reverse-engineered to capture the actual behaviour of the system. Models may differ when they correspond to different versions of the system, or they may contain faults or inaccuracies. In these circumstances, it is important to be able to concisely capture the differences between models a task that becomes increasingly challenging with complex models. This paper presents the PLTSDiff algorithm that addresses this problem. Given two state machines, the algorithm can identify which states and transitions are different. This can be used to generate a 'patch' with differences or to evaluate the extent of the differences between the machines. The paper also shows how the Precision and Recall measure can be adapted to quantify the similarity of two state machines.en
dc.language.isoenen
dc.publisherInstitute of Electrical and Electronics Engineers (IEEE) Computer Societyen
dc.rightsCopyright © 2009 IEEE. Deposited with reference to the publisher's archiving policy available on the SHERPA/RoMEO website. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/ republishing this material for advertising or promotional purposes, creating new collective works for resale or redistribution to servers or lists, or reuse of any copyrighted components of this work in other works.en
dc.subjectScience & Technologyen
dc.subjectTechnologyen
dc.subjectComputer Science, Software Engineeringen
dc.subjectComputer Scienceen
dc.subjectMACHINESen
dc.titleComputing the Structural Difference between State-Based Modelsen
dc.typeConference Paperen
dc.identifier.doi10.1109/WCRE.2009.17-
dc.description.statusPeer-revieweden
dc.description.versionPost-printen
dc.description.presented16th Working Conference on Reverse Engineering, Lille, France, 13-16 October 2009en
dc.date.end2009-10-16-
dc.date.start2009-10-13-
pubs.organisational-group/Organisationen
pubs.organisational-group/Organisation/COLLEGE OF SCIENCE AND ENGINEERINGen
pubs.organisational-group/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Computer Scienceen
Appears in Collections:Conference Papers & Presentations, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
wcre2009.pdfPost-review (final submitted)338.7 kBAdobe PDFView/Open


Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.