Output details
11 - Computer Science and Informatics
University of Leicester
Article title
Automated Comparison of State-Based Software Models in Terms of Their Language and Structure
Type
D - Journal article
Title of journal
ACM Transactions on Software Engineering and Methodology
Article number
13
Volume number
22
Issue number
2
First page of article
-
ISSN of journal
1049-331X
Year of publication
2013
URL
-
Number of additional authors
1
Additional information
<09>Measuring the similarity, and identifying the causes of dissimilarity, of the observable behaviour of two state machines is an important question in a number of software engineering and verification scenarios. The novel approaches proposed by this paper to compute similarity measures between two state-machines were used for the STAMINA competition (http://stamina.chefbe.net/), providing valuable insights about the complementary nature of different model inference techniques. The evaluation data (taken from the WCRE'09 precursor paper) has also recently been used for the evaluation of the MADMATCH technique (Kpodjedo et al TSE 2013).
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
-
