Leicester Research Archive

Leicester Research Archive >
College of Science and Engineering >
Computer Science, Department of >
Published Articles, Dept. of Computer Science >

Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/10884

Title: STAMINA: a competition to encourage the development and assessment of software model inference techniques
Authors: Walkinshaw, Neil
Lambeau, Bernard
Damas, Christophe
Bogdanov, Kirill
Dupont, Pierre
Issue Date: 25-May-2012
Publisher: Springer Verlag
Citation: Empirical Software Engineering, 2013, 18 (4), pp. 791-824
Abstract: Models play a crucial role in the development and maintenance of software systems, but are often neglected during the development process due to the considerable manual effort required to produce them. In response to this problem, numerous techniques have been developed that seek to automate the model generation task with the aid of increasingly accurate algorithms from the domain of Machine Learning. From an empirical perspective, these are extremely challenging to compare; there are many factors that are difficult to control (e.g. the richness of the input and the complexity of subject systems), and numerous practical issues that are just as troublesome (e.g. tool availability). This paper describes the StaMinA (State Machine Inference Approaches) competiton, that was designed to address these problems. The competition attracted numerous submissions, many of which were improved or adapted versions of techniques that had not been subjected to extensive empirical evaluations, and had not been evaluated with respect to their ability to infer models of software systems. This paper shows how many of these techniques substantially improve on the state of the art, providing insights into some of the factors that could underpin the success of the best techniques. In a more general sense it demonstrates the potential for competitions to act as a useful basis for empirical software engineering by (a) spurring the development of new techniques and (b) facilitating their comparative evaluation to an extent that would usually be prohibitively challenging without the active participation of the developers.
DOI Link: 10.1007/s10664-012-9210-3
ISSN: 1382-3256
eISSN: 1573-7616
Links: http://link.springer.com/article/10.1007%2Fs1(...)
http://hdl.handle.net/2381/10884
Version: Publisher Version
Status: Peer-reviewed
Type: Journal Article
Rights: Copyright © The Authors 2012. This paper is published under the Springer Open Choice Option, which allows the final published version to be made publicly accessible in the author's institutional repository immediately on publication.
Appears in Collections:Published Articles, Dept. of Computer Science

Files in This Item:

File Description SizeFormat
fulltext[1].pdfPublished (publisher PDF)830.22 kBAdobe PDFView/Open
Analytics stamina.chefbe.net Audience Overview 20110101-20131001.pdfAddendum190.99 kBAdobe PDFView/Open
View Statistics

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

 

MAINTAINER