第二 AMT@莫代尔斯 2013年:美国佛罗里达州迈阿密
Benoit Baudry公司 , 尤尔根·丁格尔 , 列维·卢西奥 , 汉斯·旺格鲁 :
2013年9月29日,美国佛罗里达州迈阿密,第二届模型转换分析研讨会论文集(AMT 2013)。 CEUR研讨会记录 1077, CEUR-WS.org公司 2013
第1部分: 测试1
尼古拉·德里瓦洛斯·马特拉卡斯 , 迪米特里奥斯·科洛沃斯 , 理查德·F·佩奇 , 阿萨纳西奥斯·佐洛塔斯 :
模型转换测试的可跟踪性驱动方法。
第2部分: 测试2
奥利维尔·菲诺特 , Jean-Marie Mottu女士 , 格森·苏尼 , 托马斯·德格勒 :
使用元模型覆盖来鉴定测试Oracle。 亚历山德罗·蒂索 , 吉安娜·雷吉奥 , 毛里齐奥·利奥塔 :
一种测试模型到文本转换的方法。 丹尼尔·卡莱加里 , 安德烈亚·德尔加多 :
测试QVT关系转换的规则链覆盖率。
第三部分: 重用、发展、优化
安吉丽卡·库塞尔 , 约翰内斯·勋博克 , 曼纽尔·威默 , 沃纳·雷茨基格 , 维兰德·施温格 , 格蒂·卡佩尔 :
模型转换重用的现实检验:ATL转换动物园案例研究。 Joseba Andoni阿吉雷 , Leire Etxeberria公司 , Goiuria Sagardui公司 :
软件体系结构迁移对模型驱动软件开发的自动影响分析。 苏珊·戈特曼 , 弗兰克·赫尔曼 , 尼科·纳赫蒂格尔 , 本杰明·布拉茨 , 克劳迪娅·埃尔梅尔 , 哈特穆特·埃里格 , 托马斯·恩格尔 :
基于三重图文法的广义并发模型同步的正确性和完整性。