2019年第30届ISSRE:德国柏林
卡廷卡·沃尔特 , 伊娜·希弗德克 , 芭芭拉·加利纳 , 米歇尔·卡基尔 , 罗伯托·纳特拉 , 纳格梅·拉梅扎尼·伊瓦基 , 努诺·拉兰基罗 :
第30届IEEE软件可靠性工程国际研讨会,ISSRE 2019,德国柏林,2019年10月28日至31日。 电气与电子工程师协会 2019 ,国际标准图书编号 978-1-7281-4982-0
研究会议1: 最佳论文提名
普雷斯顿·摩尔 , 贾斯汀·卡波斯 , 菲利斯·G·弗兰克尔 , 托马斯·维斯 :
制定不确定环境的路线:SEA利用过去的问题避免未来的失败。 1-12 赵星宇 , 瓦伦丁·罗布 , 大卫·弗林 , 基齐托·萨拉科 , 洛伦佐·斯特里吉尼 :
通过道路测试评估自动驾驶汽车的安全性和可靠性。 13-23 瑞克·萨莱 , 马特·安格斯 , 克日什托夫·恰尔内茨基 :
自动驾驶中感知组件的安全分析方法。 24-34
研究会议2: 故障/故障根本原因分析1
刘平 , 于晨 , 聂小晖 , 京珠 , 张胜林 , 开心穗 , 张明(Ming Zhang) , 丹培(Dan Pei) :
FluxRank:一个可广泛部署的框架,用于自动定位软件服务故障缓解的根本原因机器。 35-46 李泽彦 , 丹培(Dan Pei) , 罗成阳 , 赵一伟 , 孙永谦 , 开心穗 , 王西平 , 刘大鹏 , Xing Jin公司 , 王琦(Qi Wang) :
多维根源的通用和稳健定位。 47-57 梁晶晶 , 侯耀宗 , 周树瑞 , 陈俊杰 , 熊英飞 , 黄刚(Gang Huang) :
如何解释补丁:开源项目中补丁解释的实证研究。 58-69
研究会议3: 故障/故障根本原因分析2
陈一群 , 史蒂芬温特 , 内拉杰·苏里 :
从开发人员提交推断性能错误模式。 70-81 梁杰(音译) , 陈元良 , 王明哲 , 余江 , 杨子江 , 孙成年 , 荀郊 , 孙嘉光 :
通过协同集成优化设计更好的模糊器。 82-92 里卡多·库塞罗 , 保罗·卡瓦略 , 米盖尔·卡斯特罗·布兰科 , 亨利克·马德拉 , 劳尔·巴博萨 , 乔安·杜兰斯 , 贡萨洛·杜阿尔特 , 乔·卡斯特哈诺 , 卡特琳娜·杜阿尔特 , 塞萨尔·亚历山大·特谢拉 , 努诺·拉兰基罗 , 朱利奥·梅德罗斯 :
使用非侵入式程序员的生物反馈发现有问题的代码行。 93-103 张天一 , 高翠云 , 雷马 , 迈克尔·R·吕 , 米荣·金 :
深度学习应用程序开发中常见挑战的实证研究。 104-115
研究会议4: 故障注入
张龙(Long Zhang) , 马丁·蒙佩鲁斯 :
TripleAgent:Java应用程序中自动恢复能力改进的监视、扰动和故障-可用性。 116-127 祖明江 , 加居白 , 朱莉娅·劳尔 , 胡世民 :
基于软件故障注入的设备驱动程序模糊错误处理代码。 128-138 多梅尼科·科特罗尼奥 , 路易吉·德西蒙 , 彼得罗·利古奥里 , 罗伯托·纳特拉 , 线虫Bidokhti :
增强云计算系统中的故障传播分析。 139-150 卢卡斯·帕拉齐 , 李冠鹏 , 薄芳 , 卡提克·帕塔比拉曼 :
两个喷油器的故事:IR-Level和Assembly-Level故障喷油的端到端比较。 151-162
研究会议5: 故障预测
小慧湾 , 郑正 , 秦方云 , 于乔 , 基索尔·斯特里维迪 :
跨项目Aging-Related Bug预测的监督表示学习方法。 163-172 乔·坎波斯 , 马可·维埃拉 , 埃内斯托·科斯塔 :
Propheticus:可靠安全软件预测模型开发的机器学习框架。 173-182 周旭 , 张涛(Tao Zhang) , 张一峰 , 玉田堂 , 金柳(Jin Liu) , 下浦罗 , 张学友(Jacky Keung) , 崔晓慧 :
基于跨项目模型的碰撞断层住宅识别。 183-194 劳拉·卡内瓦利 , 弗朗西斯科·桑托尼 , 恩里科·比卡里奥 :
用于攻击场景在线预测分析的学习标记马尔可夫调制泊松过程。 195-205
研究会议6: 测试1
王伟伟(Weiwei Wang) , 郭晓红 , 郑丽 , 赵瑞莲 :
基于Memetic算法的Web应用客户端服务器测试用例生成。 206-216 迪奥尼·圣地亚哥 , 贾斯汀·菲利普斯 , 帕特里克·阿尔特 , 布莱恩·穆拉斯 , 塔里克·M·金 , 彼得·克拉克 :
自动表单测试的机器学习和约束求解。 217-227 八月十 , 赵培元 , 达科·马里诺夫 :
理解和改进持续集成中的回归测试选择。 228-238 王耀辉 , 许慧(音) , 周扬帆 , 迈克尔·R·吕 , 王欣(Xin Wang) :
文本输出:通过可视化学习检测移动应用程序中的文本布局错误。 239-249
研究会议7: 测试2
艾曼·甘努斯 , 安妮莉斯·安德鲁斯 :
将安全认证整合到安全关键系统的基于模型的测试中。 250-260 罗曼·凯尔 , 文森特·尼科米特 , 纪尧姆·奥里奥尔 , 埃里克·阿拉塔 , 穆罕默德·卡亚利基 , 盖拉丁·瓦奇·马可纳托 :
幻影:面向物联网的类Metasploit框架。 261-270 费利克斯·多布斯劳 , 罗伯特·费尔特 , 大卫·米夏·埃尔松 , 帕特里克·哈尔 , 弗朗西斯科·戈梅斯·德·奥利维拉·内托 , 理查德·托卡尔 :
估算GUI测试自动化框架的投资回报。 271-282 弗兰克·乔维尔 , 布赖斯·莫兰 , 恩里克·加西亚(Enrique Garcia-Ceja) :
利用CAMP强化集成测试。 283-291
研究会议8: 项目分析
邹昌伟 , 隋玉雷 , 华严 , 薛晶凌 :
TCD:静态检测C++程序中的类型混淆错误。 292-302 安德烈·莫罗佐夫 , 凯丁 , 米凯尔·斯特勒 , 克劳斯·詹斯克 :
OpenErrorPro:基于随机模型的可靠性和弹性分析的新工具。 303-312 迪维亚·戈皮纳特 , 张梦诗 , 王开元 , Ismet Burak Kadron公司 , 科琳娜·帕萨雷努 , 萨尔夫拉兹·库希德 :
神经网络中重要性分析和对抗生成的符号执行。 313-322 纳西夫·伊姆蒂亚兹 , 布伦丹·墨菲 , 劳里·A·威廉姆斯 :
开发人员如何处理静态分析警报? 掩盖使用的实证研究。 323-333
研究会议9: 背景、演变和可靠性
多梅尼科·科特罗尼奥 , 路易吉·德西蒙 , 安东尼奥·肯·伊恩尼洛 , 罗伯托·纳特拉 , 斯特凡诺·罗谢罗 , 线虫Bidokhti :
分析OpenStack云计算平台中修复错误更改的上下文。 334-345 威廉·纳勒帕·小泉 , 莱昂纳多·达席尔瓦·索萨 , 安德森·奥利维拉 , 路易斯·卡瓦略 , 亚历山德罗·加西亚 , 塞尔玛·埃利塔·科兰齐 , 罗伯托·费利西奥·奥利维拉 :
重构班退化症状的密度和多样性:一项多案例研究。 346-357 马可·莫比利奥 , 奥利维埃罗·里加内利 , 丹妮拉·米库奇 , 莱昂纳多·马里亚尼 :
FILO:FIx-LOcus关于Android框架升级问题的建议。 358-368 谢仁松 , 香港翔龙 , 王露露(Lulu Wang) , 瀛洲 , 李碧欣 :
HiRec:使用层次上下文的API建议。 369-379
研究会议10: 工艺质量
托马斯·乔杜里 , 阿兰·瓦辛格 , 理查德·佩奇 , 马克·劳福德 :
系统评估(安全)保证案例的标准。 380-390 Inês Valentim公司 , 努诺·卢伦索 , 努诺·安图内斯 :
数据准备对软件系统公平性的影响。 391-401 萨蒂亚·普拉丹 , 文基·南尼尤尔 :
回到基础-重新定义混合软件开发组织的质量度量。 402-412 卡特琳娜·戈塞娃-波普斯托亚诺娃 , 托马斯·坎科 , 贵族Nkwocha :
基于模型的软件工程的好处和挑战:基于定性和定量结果的经验教训。 413-423
研究会议1: 安全性
埃尔万·勒梅勒 , 吉尔斯·特雷丹 :
TamperNN:部署的神经网络的有效篡改检测。 424-434 克里斯蒂亚诺·伊纳西奥·勒梅斯 , 文森特·纳塞斯 , 马可·维埃拉 :
Web应用程序的可信度评估:使用输入验证编码实践的方法和实验研究。 435-445 托马索·佐皮 , 安德烈亚·塞卡雷利 , 安德烈亚·邦达瓦利 :
RELOAD简化异常检测算法的评估。 446-455 张衡 , 塞巴斯蒂安·巴内斯库 , 莱昂纳多·帕索斯 , 史蒂文·斯图尔特 , 维杰·加内什 :
MPro:结合静态和符号分析进行智能合约的可扩展测试。 456-462