Speci?cation-Based Testing for Software Product Lines
Speci?cation-Based Testing for Software Product Lines
复制标题
软件产品线基于规范的测试
DOI：
10.1109/sefm.2008.38
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
Kahsai T
中科院分区：
文献类型：
--
作者：
Kahsai T
登录
查看更多内容
基于模型的测试的观点
DOI：
--
发表时间：
2005
期刊：
影响因子：
--
作者：
E. Brinksma;W. Grieskamp;J. Tretmans
通讯作者：
J. Tretmans
形式化验证和软件产品线
DOI：
--
发表时间：
2006
期刊：
CACM
影响因子：
--
作者：
T. Kishi;N. Noda
通讯作者：
N. Noda
CSP-CASL 中电子支付系统的正式规范
DOI：
10.1007/978-3-540-31959-7_4
发表时间：
2004
期刊：
The American journal of physiology
影响因子：
--
作者：
Andy Gimblett;M. Roggenbach;H. Schlingloff
通讯作者：
H. Schlingloff
面向对象软件的基于规范的测试理论
DOI：
--
发表时间：
1996
期刊：
European Dependable Computing Conference
影响因子：
--
作者：
Stéphane Barbey;Didier Buchs;Cécile Péraire
通讯作者：
Cécile Péraire