ISSTA 2014:美国加利福尼亚州圣何塞
科琳娜·帕萨雷努 , 达科·马里诺夫 :
2014年7月21日至26日,美国加利福尼亚州圣何塞国际软件测试与分析研讨会,ISSTA’14。 ACM公司 2014 ,国际标准图书编号 978-1-4503-2645-2
并发和验证
陆章 , 王超(Chao Wang) :
多线程应用程序中并发相关类型状态冲突的运行时预防。 1-12 迈克尔·普拉德尔 , 马库斯·哈格勒 , 托马斯·R·格罗斯 :
并发类的性能回归测试。 13-25 奥哈德·沙查姆 , 埃兰·雅哈 , 盖·戈兰·格塔 , 亚历克斯·艾肯 , 内森·格拉索·布朗森 , 穆利·萨吉夫 , 马丁·T·韦切夫 :
通过数据独立性验证原子性。 26-36 法布里奇奥·帕斯托尔 , 莱昂纳多·马里亚尼 , 安蒂·埃罗·约翰内斯·海瓦里宁 , 格里戈里·费德尤科维奇 , 娜塔莎·莎莉吉娜 , 斯蒂芬·塞赫斯特德 , 阿里·穆罕默德 :
验证辅助回归测试。 37-48
Web测试
Omer跳闸 , 彼得罗·费拉拉 , 马可·皮斯托亚 :
通过动态部分评估对web JavaScript代码进行混合安全分析。 49-59 邹云霄 , 陈振宇 , 郑云辉 , 张湘玉 , 泽宝高 :
虚拟DOM覆盖范围,用于有效测试动态web应用程序。 60-70 迈赫迪·米尔扎阿盖伊 , 阿里·梅斯巴 :
基于DOM的web应用程序测试充分性标准。 71-81 Shauvik Roy Choudhary公司 , 穆库尔·普拉萨德 , 亚历山德罗·奥索 :
web应用程序的跨平台功能匹配。 82-92
人工制品研究
保罗·丹·马里内斯库 , 彼得·霍塞克 , 克里斯蒂安·卡达尔 :
Covrig:一个用于分析真实软件中的代码、测试和覆盖率演变的框架。 93-104 马塞尔·伯默 , 阿比克·罗伊乔杜里 :
CoREBench:研究回归误差的复杂性。 105-115
静态分析和转换
萧旭升 , 戈古尔·巴拉克利什南 , 弗兰乔·伊万西奇 , 前田直人 , 阿尔蒂·古普塔 , 迪帕克·切特里 :
ARC++:有效的类型状态和生存期依赖性分析。 116-126 康斯坦丁·威茨 , 吉恩·金 , Siwakorn Srisakaokul公司 , 迈克尔·D·恩斯特 :
格式化字符串的类型系统。 127-137 纳西莎·安德烈亚·米莉亚 , 凌霄江 , Siau-Cheng Khoo公司 :
可扩展检测错过的跨函数重构。 138-148 Benoit Baudry公司 , 西蒙·阿利尔 , 马丁·蒙佩鲁斯 :
定制源代码转换,以合成计算上不同的程序变体。 149-159
测试选择和减少
张超强 , 亚历克斯·格罗斯 , 穆罕默德·阿明·阿利普尔 :
使用测试用例减少和优先级来改进符号执行。 160-170 阿尔诺·哥特利布 , 杜西卡·马里扬 :
花:作为网络最大流量的最佳测试套件缩减。 171-180 纳迪娅·阿尔沙旺 , 马克·哈曼 :
输出唯一性测试选择标准的覆盖率和故障检测。 181-192 巴勃罗·洛约拉 , 马特·斯塔茨 , In Young Ko公司 , 格雷格·罗瑟梅尔 :
Dodona:自动选择oracle数据集。 193-203
本地化和修复
吴荣新 , 张宏宇 , Shing-Chi Cheung先生 , Sunghun Kim先生 :
CrashLocator:基于崩溃堆栈查找崩溃故障。 204-214 左志强 , Siau-Cheng Khoo公司 , 孙成年 :
通过分层检测进行高效的谓词错误特征挖掘。 215-224 穆阿特·阿尔哈拉夫 , 阿卜杜勒巴基·艾丁 , 特夫菲克·布尔坦 :
用于输入验证和清理的语义差异修复。 225-236 林一燕 , Sandeep S.Kulkarni :
使用最大满意度自动修复带有死锁/活锁的多线程程序。 237-247
安全
安德鲁·亨德森 , 阿拉文德·普拉卡什 , 乐广颜 , Xunchao Hu公司 , 王旭杰 , 周润东 , 恒音 :
让它工作,让它正确,让它快速:建立一个平台-中性全系统动态二元分析平台。 248-258 丹尼斯·阿佩尔 , Cu Duy Nguyen公司 , 莱昂内尔·布赖恩 , 纳迪娅·阿尔沙旺 :
SQL注入漏洞的自动测试:一种输入突变方法。 259-269
用户界面测试
斯蒂芬·阿尔特 , 安德烈亚斯·波德尔斯基 , 韦尔勒 :
通过程序切片减少GUI测试套件。 270-281 阿德里安·尼斯托尔 , 列宁·拉文德拉纳特 :
SunCat:帮助开发人员了解和预测智能手机应用程序的性能问题。 282-292 何塞·安吉尔·加林多 , 毛里西奥·阿尔弗雷兹 , 马修·阿切尔 , Benoit Baudry公司 , 大卫·贝纳维德斯 :
一种用于合成视频序列的基于变量的测试方法。 293-303 拉胡尔克里什纳·扬德拉帕利 , Suresh Thummalapenta公司 , 索拉巴·辛哈 , 萨蒂什·钱德拉 :
使用上下文线索实现健壮的测试自动化。 304-314
效率和优化
雷内只是 , 迈克尔·D·恩斯特 , 弗雷泽 :
通过传播和划分受感染的执行状态进行有效的突变分析。 315-326 张本文(Benwen Zhang) , 詹姆斯条款 :
通过异常轻量级自动检测不安全信息泄漏。 327-338 丁莉 , 金雨晨 , 卡格里·萨欣 , 詹姆斯条款 , 威廉·G·J·哈尔丰德 :
集成的能量导向测试套件优化。 339-350 希瓦·内贾蒂 , 莱昂内尔·布赖恩 :
使用搜索确定CPU时间使用和时间约束之间的最佳权衡。 351-361
生成和传播
张玲明 , 杨国伟 , 内哈·隆塔 , 苏泽特人 , 萨尔夫拉兹·库希德 :
反馈驱动的动态不变量发现。 362-372 莱昂纳多·马里亚尼 , 毛罗·佩泽尔 , 奥利维耶罗·里加内利 , 毛罗·桑托罗 :
链接:利用数据网络生成测试输入。 373-384 赛张(Sai Zhang) , 达里乌什·贾拉利 , 约钦·伍特克 , 基万萨·穆斯鲁 , 林师父 , 迈克尔·D·恩斯特 , 大卫·诺特金 :
经验性地重新审视测试独立性假设。 385-396 安娜·兰扎罗 , 罗伯托·纳特拉 , 史蒂芬温特 , 多梅尼科·科特罗尼奥 , 内拉杰·苏里 :
注入与实际界面误差的实证研究。 397-408
工具演示
塔里克·M·金 , 加布里埃尔·努内斯 , 迪奥尼·圣地亚哥 , 亚当·坎多 , 科迪麦克 :
图例:用于web验收测试的敏捷DSL工具集。 409-412 马蒂亚斯·舒尔 , 安德烈亚斯·罗斯 , 安德利亚斯·策勒 :
ProCrawl:从多用户web应用程序中挖掘测试模型。 413-416 Shauvik Roy Choudhary公司 , 穆库尔·普拉萨德 , 亚历山德罗·奥索 :
X-PERT:用于跨浏览器不一致性检测的web应用程序测试工具。 417-420 胡安·巴勃罗·加莱奥蒂 , 弗雷泽 , 安德烈亚·阿库里 :
使用自适应动态符号执行扩展基于搜索的测试生成器。 421-424 徐振波 , 张健(Jian Zhang) , 徐忠兴 , Jiteng Wang(王继腾) :
Canalyze:一个用于C程序的静态错误查找工具。 425-428 杜克·勒 , 穆罕默德·阿明·阿利普尔 , 拉胡尔·戈皮纳特 , 亚历克斯·格罗斯 :
MuCheck:用于haskell程序变异测试的可扩展工具。 429-432 雷内只是 :
主要变异框架:针对Java的高效且可扩展的变异分析。 433-436 雷内只是 , 达里奥乌什·贾拉利 , 迈克尔·D·恩斯特 :
Defects4J:现有故障的数据库,用于对Java程序进行受控测试研究。 437-440 康斯坦丁·威茨 , Siwakorn Srisakaokul公司 , 吉恩·金 , 迈克尔·D·恩斯特 :
Java格式字符串检查器。 441-444 尼古拉·蒂尔曼 , 乔纳森·德哈勒克斯 , 陶雪 , 朱迪思·毕晓普 :
在Pex4Fun和代码搜索中构建编码决斗。 445-448
博士生论坛
陈美贤 :
重用约束证明进行可扩展程序分析。 449-452 沙布纳姆·米尔肖克利 :
基于JavaScript的web应用程序的有效测试生成和充分性评估。 453-456 左志强 :
通过分层检测实现高效的统计调试。 457-460
![](https://dblp.org/img/cog.dark.24x24.png)