Output details
11 - Computer Science and Informatics
University of Leicester
Automated Comparison of State-Based Software Models in Terms of Their Language and Structure
<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).