停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

2010年第三届ICST：法国巴黎

>主页 >会议和研讨会 >ICST公司

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
- 出口记录
  dblp键：
  - conf/icst/2010
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/2010
第三届软件测试、验证和确认国际会议，ICST 2010，巴黎，法国，2010年4月7日至9日。 IEEE计算机学会 2010，国际标准图书编号978-0-7695-3990-4

主讲人

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/Laurent10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/Laurent10
奥迪尔·洛朗:
在航空电子系统验证与确认（V&V）过程中使用形式化方法和可测试性概念。 1-10
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/Copeland10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/Copeland10
帕特里克·科普兰:
谷歌创新工厂：测试、文化和基础设施。 11-14

基于模型的测试1

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/AsztalosLL10公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/AsztalosLL10
马尔克·阿斯塔洛斯,拉兹洛·伦格尔,蒂哈默·列文多夫斯基:
模型转换的自动化形式验证。 15-24
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/HeiskanenJK10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/HeiskanenJK10
亨利·海斯卡宁,Antti Jääskeläinen公司,米卡·卡塔拉:
对基于模型的GUI测试的调试支持。 25-34
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/SeguraHBR10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/SeguraHBR10
塞尔吉奥·塞古拉,罗伯特·海伦斯,大卫·贝纳维德斯,安东尼奥·鲁伊斯·科尔特斯:
基于特征模型分析的自动测试数据生成：变形测试方法。 35-44

突变测试

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/SchulerZ10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/SchulerZ10
大卫·舒勒,安德利亚斯·策勒:
（Un-）覆盖等效突变体。 45-54
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/GligoricJM10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/GligoricJM10
米洛斯·格利戈里克,维拉斯·贾加纳特,达科·马里诺夫:
MuTMuT：多线程代码变异测试的有效探索。 55-64
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/DebroyW10会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/DebroyW10
维德罗哈·德布罗伊,W.Eric Wong:
使用变异自动建议错误程序的修复。 65-74

回归测试1

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/EngstromRW10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/EngstromRW10
Emelie Engström公司,每个Runeson,格雷格·威克斯特兰德:
基于修复缓存建议的回归测试实证评估。 75-78
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/NagahawatteD10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/NagahawatteD10
Panduka Nagahawatte公司,贤秀道:
回归测试技术在减少残余缺陷发生方面的有效性。 79-88
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/NaslavskyZR10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/NaslavskyZR10
莱拉·纳斯拉夫斯基,哈达尔·齐夫,黛布拉·理查德森:
MbSRT2：基于模型的选择性回归测试，具有可追溯性。 89-98

基于模型的测试2

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/FeliachiG10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/FeliachiG10
阿卜杜拉赫曼·费利亚奇,勒根（Hélène Le Guen）:
为基于模型的测试自动生成生成转换概率。 99-102
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/GrassoFFBB10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/GrassoFFBB10
丹尼尔·格拉索,亚历山德罗·范泰奇,阿莱西奥·法拉利,卡洛·贝切里,斯特凡诺·巴赫里尼:
铁路信号背景下基于模型的测试和抽象解释。 103-106

UML建模和测试

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/PorresR10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/PorresR10
伊凡·波雷斯,伊鲁姆·劳夫:
从非确定性UML协议状态机到类契约。 107-116
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/Weissleder10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/Weissleder10
Stephan Weiß莱德:
UML状态机上覆盖标准的模拟满意度。 117-126

回归测试2

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/RoestMD10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/RoestMD10
丹尼·罗斯特,阿里·梅斯巴,阿里·范·德森:
回归测试Ajax应用程序：应对动态。 127-136
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/JinOX10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/JinOX10
魏晋,亚历山德罗·奥索,陶雪:
自动行为回归测试。 137-146

测试评估1

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/YanCZZ10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/YanCZZ10
莎莉·燕,陈振宇,赵志宏,陈章,周玉明:
利用执行谱信息的动态测试集群采样策略。 147-154
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/SinhaSP10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/SinhaSP10
阿维克·辛哈,斯坦利·萨顿（Stanley M.Sutton Jr.）。,阿米特·帕拉德卡尔:
文本测试：自然语言用例的自动检查。 155-164
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/MasriA10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/MasriA10
韦斯·马斯里,拉瓦德·阿布·阿西:
从巧合正确性中清理测试套件以增强故障定位。 165-174

测试过程和工具1

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/VosBLKWW10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/VosBLKWW10
坦贾·E.J.沃斯,阿瑟·巴尔斯,费利克斯·林德勒,彼得·克鲁斯,安德烈亚斯·温迪施,约阿希姆·韦格纳:
使用进化测试工具进行工业规模的自动结构测试。 175-184
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/BaresiLM10会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/BaresiLM10
卢西亚诺·巴雷西,皮尔·卢卡·兰齐,马泰奥·米拉兹:
TestFul:Java的进化测试方法。 185-194
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/NguyenWR10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/NguyenWR10
明杜阮,赫莱内·韦斯林克,尼古拉斯·里维尔:
GraphSeq：用于提取流动模式的图形匹配工具。 195-204

测试和验证1

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/Arcuri10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/Arcuri10
安德烈亚·阿库里:
在基于搜索的软件测试中，如何标准化分支距离至关重要。 205-214
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/DelahayeBG10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/DelahayeBG10网站
米卡·德拉哈耶,伯纳德·波特拉,阿尔诺·哥特利布:
基于解释的不可行路径泛化。 215-224
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/FeldtTAR10会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/FeldtTAR10
罗伯特·费尔特,理查德·托卡尔,埃桑·艾哈迈德,比拉尔·拉扎:
航天工业中软件验证和确认活动的挑战。 225-234

图形用户界面测试

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/BertoliniMAF10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/BertoliniMAF10
克里斯蒂亚诺·贝尔托里尼,亚历山大·莫塔,爱德华多·阿兰哈,克里斯蒂亚诺·费拉兹:
通过设计实验评估GUI测试技术。 235-244
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/HuangCM10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/HuangCM10
斯黄（Si Huang）,迈拉·B·科恩,阿提夫·梅蒙:
使用遗传算法修复GUI测试套件。 245-254
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/SinnigKC10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/SinnigKC10
丹尼尔·辛尼格,Ferhat Khendek公司,帕特里斯·沙林:
生成集成功能和用户界面测试用例的形式化模型。 255-264

测试评估2

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/XuD10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/XuD10
徐殿翔,丁俊华:
确定基于状态的方面测试的优先级。 265-274
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/SilvaJA10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/SilvaJA10
丹尼尔·格雷罗·席尔瓦,马里奥·基诺,布鲁诺·特谢拉·德·阿布鲁（Bruno Teixeira de Abreu）:
评估软件测试执行工作量的机器学习方法和非对称成本函数。 275-284
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/SyedRW10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/SyedRW10
拉扎·阿巴斯·赛义德,布赖恩·罗宾森,劳丽·A·威廉姆斯:
硬件配置和处理器负载是否影响软件故障可观测性？ 285-294

测试和验证2

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/布贝夫斯基10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/Bubevski10
伏地魔布贝夫斯基:
六西格玛和模拟在软件测试风险评估中的应用。 295-302
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/WeiGMO10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/WeiGMO10
易伟,谢尔盖·格伯哈特,贝特朗·梅耶,曼纽尔·奥利奥:
通过引导对象选择满足测试前提条件。 303-312
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/WeyukerBO10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/WeyukerBO10
伊莱恩·韦尤克,罗伯特·M·贝尔,托马斯·奥斯特兰德:
我们找到了大多数虫子，但我们缺少了什么？。 313-322

博士研讨会1

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/Rahimi10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/Rahimi10
Shekoufeh Kolahdouz拉希米:
UML模型转换规范。 323-326
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/Mlynarski公司10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/Mlynarski10
迈克尔·姆利纳斯基:
商业信息系统的基于模型的整体测试。 327-330
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/Vega10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/Vega10
戴安娜·埃琳娜·维加:
面向自动化和动态适应性测试系统，用于测试医疗信息系统。 331-334

测试安全和安保

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/Panesar-WalawegeSBC10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/Panesar-WalawegeSBC10
Rajwinder Kaur Panesar Walawege公司,梅赫达德·萨贝扎德,莱昂内尔·布赖恩,蒂埃里·考克:
描述软件安全案例证据链的特征：基于IEC 61508标准的概念模型。 335-344
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/布鲁克BKW10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/BruckerBKW10
阿希姆·D·布鲁克,卢卡斯·布鲁格,保罗·科尔尼,伯克哈特·沃尔夫:
测试用例生成的验证防火墙策略转换。 345-354

博士研讨会2

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/Kasurinen10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/Kasurinen10
尤西·卡苏里宁:
细化软件测试过程和策略。 355-358
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/Slatten10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/Slatten10
维达尔·斯拉特:
可靠系统的模型驱动工程。 359-362

测试Web服务和应用程序

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/CaoFCB10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/CaoFCB10
田敦曹,帕特里克·费利克斯,理查德·卡斯塔内特,伊斯梅尔·贝拉达:
Web服务的在线测试框架。 363-372
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/Angelis公司PA10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/AngelisPA10
弗朗西斯科·德·安吉利斯,安德烈亚·波利尼,古列尔莫·德·安吉利斯:
协调服务的反示例测试方法。 373-382

测试评估3

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/KimSGSHN10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/KimSGSHN10
Mijung Kim先生,索拉巴·辛哈,卡斯滕·哥尔格,希娜·沙阿,玛丽·让·哈罗德,曼加拉·戈瑞·南达:
自动错误邻域分析，用于识别不完整的错误修复。 383-392
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/CausevicSP10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/CausevicSP10
Adnan Causevic公司,丹尼尔·桑德马克,Sasikumar Punnekkat公司:
关于软件测试当代方面的工业调查。 393-401
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/BelliLBS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/BelliLBS10
费夫齐·贝利,迈克尔·林舒特,克里斯托夫·巴德尼克,哈拉尔德·施泰伯:
测试序列长度的故障检测可能性。 402-411

测试管理和漏洞检测

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/EldhBSHP10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/EldhBSHP10
Sigrid Eldh公司,约阿希姆·勃兰特,Mark街,汉斯·汉森,萨西库马尔·蓬内卡特:
面向大型复杂系统的全自动测试管理。 412-420
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/ZimmermannNW10会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/ZimmermannNW10
托马斯·齐默尔曼,纳奇亚潘-纳加潘,劳里·A·威廉姆斯:
大海捞针：预测Windows Vista的安全漏洞。 421-428
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/SantelicesHO10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/SantelicesHO10
劳尔·桑特里斯,玛丽·让·哈罗德,亚历山德罗·奥索:
精确检测进化软件的运行时更改交互。 429-438

基于模型的测试3

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/PavlovicE10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/PavlovicE10
奥利维拉·巴甫洛维奇,汉斯·迪特·埃里奇:
功能框图中编写的模型检查PLC软件。 439-448
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/LodingP10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/LodingP10
赫尔热·洛丁,简·佩莱斯卡:
时间摩尔自动机：测试数据生成和模型检查。 449-458
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/PerrouinSKBT10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/PerrouinSKBT10网站
吉尔斯·佩鲁因,萨加尔·森,雅克·克莱恩,Benoit Baudry公司,伊夫·勒特朗:
软件产品线的自动化和可扩展T型测试用例生成策略。 459-468

测试评估4

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/Arcuri10a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/Arcuri10a
安德烈亚·阿库里:
越长越好：测试序列长度在软件测试中的作用。 469-478
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/JobstlWAW10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/JobstlWAW10
伊丽莎白·Jöbstl,马丁·威格霍费尔,伯恩哈德·艾切里尼（Bernhard K.Aichernig）,弗兰兹·沃塔瓦:
BDD失败时：符号执行和SMT解决的一致性测试。 479-488

测试和验证3

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/MadaniPP10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/MadaniPP10
拉亚·马达尼,弗吉尼亚·帕帕利奥普鲁,Ioannis Parissis公司:
针对反应系统的测试方法：起落架控制器的案例研究。 489-497
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/VeanesHT10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/VeanesHT10
玛格斯·维恩斯,佩利·德哈勒克斯,尼古拉·蒂尔曼:
雷克斯：符号正则表达式浏览器。 498-507

博士研讨会3

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/Irfan10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/Irfan10
穆罕默德·奈姆·伊尔凡:
带有长反例的测试上下文中的状态机推断。 508-511
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/Engstrom10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/Engstrom10
Emelie Engström公司:
回归测试选择和产品线系统测试。 512-515

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。