A framework for the competitive evaluation of model inference techniques
A framework for the competitive evaluation of model inference techniques
复制标题
模型推理技术竞争性评估框架
DOI：
10.1145/1868044.1868045
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Walkinshaw N
中科院分区：
文献类型：
--
作者：
Walkinshaw N
本文介绍了 STAMINA 竞赛1，该竞赛旨在推动软件模型推理方法的评估和改进。为此，目标模型具有某些往往出现在软件模型中的特征；它们有很大的字母表，并且状态之间的转换并不是均匀连接的（就像之前类似比赛的情况一样）。该论文描述了竞赛的设置，扩展了常规语法推理领域之前的类似竞赛。然而，本次竞赛的重点是软件系统特征的目标模型，并具有用于生成训练和测试样本的适当调整的协议。除了提供比赛本身的详细信息外，它还讨论了如何利用比赛结果来更广泛地了解竞争技术的相对准确性和效率。
This paper describes the STAMINA competition1, which is designed to drive the evaluation and improvement of software model-inference approaches. To this end, the target models have certain characteristics that tend to appear in software-models; they have large alphabets, and states are not evenly connected by transitions (as has been the case in previous similar competitions). The paper describes the set-up of the competition that extends previous similar competitions in the field of regular grammar inference. However, this competition focusses on target models that are characteristic of software systems, and features a suitably adapted protocol for the generation of training and testing samples. Besides providing details of the competition itself, it also discusses how outcomes from the competition will be used to gain broader insights into the relative accuracy and efficiency of competing techniques.
登录
查看更多内容
正则推理的搜索空间是多少？
DOI：
--
发表时间：
1994
期刊：
International Conference on Graphics and Interaction
影响因子：
--
作者：
P. Dupont;L. Miclet;E. Vidal
通讯作者：
E. Vidal
DOI：
--
发表时间：
2008
期刊：
International Conference on Graphics and Interaction
影响因子：
--
作者：
Menno van Zaanen;J. Geertzen
通讯作者：
J. Geertzen
通过竞赛提升语法推理的最新水平：Omphalos 上下文无关语言学习竞赛
影响因子：
0.8
作者：
Bradford Starkie;François Coste;Menno van Zaanen
通讯作者：
Menno van Zaanen
DOI：
--
发表时间：
2008
期刊：
International Conference on Graphics and Interaction
影响因子：
--
作者：
Neil Walkinshaw;K. Bogdanov;Kent Johnson
通讯作者：
Kent Johnson
中国航天科技集团现状
影响因子：
0.8
作者：
G. Sutcliffe;C. Suttner
通讯作者：
C. Suttner