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