You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of Sheffield » Outputs » Detail

Output details

11 - Computer Science and Informatics

University of Sheffield

Return to search Previous output Next output

Output 22 of 109 in the submission

Article title

Automated Comparison of State-Based Software Models in Terms of Their Language and Structure

Type

D - Journal article

DOI

10.1145/2430545.2430549

Title of journal

ACM Transactions on Software Engineering and Methodology

Article number

Volume number

Issue number

First page of article

ISSN of journal

1049331X

Year of publication

2013

URL

Number of additional authors

Additional information

<10> This paper arose from two EPSRC-funded projects led by Bogdanov (EP/F065825/1 and EP/H002456/2). This work integrates language and structure-based approaches for computation of a "diff" between arbitrary directed graphs. Its novelty is both support for non-deterministic automata/automata with disconnected states and the ability to build a small diff relative to the size of the graphs being compared. It uses mutation testing to show that using both structure and language is far superior to simply language-based methods. The methodology is implemented in the StateChum toolset (see Bogdanov02). [15 GoogleScholar citations to this and preliminary the conference versions.]

Interdisciplinary

Cross-referral requested

Research group

None

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract