软件测试、验证和可靠性,第23卷
2013年1月第23卷第1期
莫妮卡·卡普斯·科拉尔 :
通信协议上的保错局部转换。 3-25 马克·费舍尔二世 , 塞巴斯蒂安·埃尔鲍姆 , 格雷格·罗瑟梅尔 :
一种自动分析方法,用于检测带有WSDL接口的web服务中的不一致性。 27-51 阿卜杜斯兰·恩努亚里 :
一种基于测试目的的方法,用于测试定时输入输出自动机。 53-76 田村吉野 , 山田茂 :
基于风险率模型的嵌入式OSS移植阶段可靠性评估。 77-88
2013年3月第23卷第2期
奥法特 :
我从可用性中学到了什么。 89
阿迪尔森·路易斯·博尼法西奥 , 阿纳尔多·维埃拉·莫拉 :
一种测试定时系统的新方法。 91-117 安德烈亚·阿库里 :
在基于搜索的软件测试中,如何规范分支距离真的很重要。 119-147 拉梅什·库马尔·加格 , 卡皮尔·夏尔马 , Chander Kumar Nagpal公司 , 拉凯什·加尔格 , 拉杰帕尔·加格 , 拉吉夫·库马尔 , 桑迪亚 :
基于模糊矩阵方法的软件工程度量排序。 149-168
2013年5月第23卷第3期
奥法特 :
软件工程的全球化。 169-170
马尔西奥·爱德华多·德拉马罗 , Fátima de Lourdes dos Santos Nunes公司 , 拉斐尔·阿尔夫·佩斯·德·奥利维拉 :
使用基于内容的图像检索的概念来实现图形测试预言。 171-198 多梅尼科·科特罗尼奥 , 奥兰多萨尔瓦多 , 罗伯托·皮特兰托诺 , 斯蒂法诺·鲁索 :
基于测量的JVM老化分析。 199-239 本尼·戈德林 , 奥弗·斯特里赫曼 :
回归验证:证明类似程序的等效性。 241-258
2013年6月第23卷第4期
奥法特 :
编辑:全球化——语言和方言。 259-260
穆斯塔法·博兹科特 , 马克·哈曼 , 优素福·哈松 :
面向服务架构中的测试和验证:调查。 261-313 佩德罗·雷亚斯·马特奥 , 马卡里奥·马洛·乌萨奥拉 :
平行突变测试。 315-350
2013年8月第23卷第5期
安娜·R·卡瓦利 , 苏迪普托·戈什 :
ICST 2010特刊。 351 大卫·舒勒 , 安德利亚斯·策勒 :
覆盖和发现等效突变。 353-374 米洛斯·格里戈里奇 , 维拉斯·贾加纳特 , 青州罗 , 达科·马里诺夫 :
多线程代码的高效变异测试。 375-403
马尔克·阿斯塔洛斯 , LászlóLengyel公司 , 蒂哈默·列文多夫斯基 :
基于图重写的模型转换功能属性的形式化描述和分析。 405-435
第23卷第6期,2013年9月
马克·哈曼 , 博格丹·科雷尔 :
STVR软件测试、验证和确认专刊编辑——第1卷(ICST 2011的扩展精选论文)。 437 萨拉·斯普伦克尔 , 洛丽·波洛克 , 露西·辛科 :
通过分析用户行为为web应用程序配置有效的导航模型和抽象测试用例。 439-464 Waldemar悍马 , 奥尔纳·拉兹 , Onn Shehory公司 , 菲利普·莱特纳 , Schahram Dustdar公司 :
测试以数据为中心和基于事件的动态服务组合。 465-497 劳尔·桑特里斯 , 玛丽·让·哈罗德 :
基于需求驱动的传播策略,用于测试更改。 499-528
第23卷第7期,2013年11月
马克·哈曼 , 博格丹·科雷尔 :
STVR软件测试、验证和确认专刊编辑——第2卷(ICST 2011的扩展精选论文)。 529 大卫·舒勒 , 安德利亚斯·策勒 :
检查覆盖率:甲骨文质量的指标。 531-551 弗雷泽 , 安德烈亚·阿库里 :
处理测试长度膨胀。 553-582
2013年12月第23卷第8期
奥法特 :
向玛丽·让·哈罗德致敬。 583-584
Lehilton Lelis Chaves佩德罗萨 , 阿纳尔多·维埃拉·莫拉 :
有限状态机的增量测试。 585-612 李碧欣 , 孙晓兵 , 哈里顿·梁 , 赛张(Sai Zhang) :
基于代码的更改影响分析技术的调查。 613-646 桑文·金 , Yu-Seung Ma公司 , 永瑞权(Yong Rae Kwon) :
将弱突变和强突变结合起来,形成非解释性Java突变系统。 647-668