2014年第25届ISSRE:意大利那不勒斯——研讨会
2014年11月3日至6日,意大利那不勒斯,第25届IEEE软件可靠性工程研讨会,ISSRE研讨会。 IEEE计算机学会 2014 ,国际标准图书编号 978-1-4799-7377-4
行业会议
第1部分: 测试1
玛丽亚姆·雷亚特·阿里亚巴迪 , 卡提克·帕塔比拉曼 , 线虫Bidokhti :
Soft-LLFI:软件故障注入的综合框架。 1-5 布莱恩·阿特金森 , 内森·德巴德尔本 , Qiang Guan(强关) , 罗伯特·W·罗比 , 威廉·琼斯 :
CLAMR流体动力学微型应用程序的故障注入实验。 6-9 法比奥·巴卡尼科 , 加布里埃拉·卡洛扎 , 马塞洛·辛克 , 多梅尼科·科特罗尼奥 , 安东尼奥·佩基亚 , 阿戈斯蒂诺·萨维格纳诺 :
工业发展过程中的事件记录:实践和再造挑战。 10-13
第2部分: 可靠性建模1
萨蒂什·瓦拉奇拉 , Sithu D.Sudarsan先生 , 斯里尼·拉马斯瓦米 :
使用主成分分析的基于事件的机器人预测。 14-17 Ashlie B.曲棍球 , 约翰·C·奈特 , 安东尼·艾罗先生 , Shinichi Shiraishi先生 :
证明基于模型的设计中的模型等效性。 18-21 阿尔贝托·阿弗里策 , 安德烈·邦迪 :
在软件生命周期的架构(Architecture)阶段开发软件可靠性模型。 22-23
第三部分: 测试2
约阿希姆·弗罗利希 , 雷纳·N·施密德 :
支持非侵入性测试的硬实时系统架构。 24 朱海红 :
网络系统嵌入式软件中的软错误处理。 25-28 林恩·古斯塔夫森·克里斯蒂尔宁 , 斯万特·奥古斯松 , 斯特凡·克里斯蒂尔宁 :
工业联合生产操作的安全关键机器人编程和测试。 29-32
第4部分: 行业最佳纸张提名
斯特凡诺·阿瓦隆 , 加布里埃拉·卡洛扎 , 马塞洛·辛克 , 拉斐尔·德尔拉·科尔特 , 安东尼奥·马洛塔 , 安东尼奥·佩基亚 , 阿戈斯蒂诺·萨维尼亚诺 :
NAPOLI FUTURA:保护关键基础设施免受网络攻击的新方法。 33-36 多梅尼科·科特罗尼奥 , 路易吉·德西蒙 , 安东尼奥·肯·伊恩尼洛 , 安娜·兰扎罗 , 罗伯托·纳特拉 , 姜凡 , 王平 :
网络功能虚拟化:可靠性保证的挑战和方向。 37-42
第5部分: 可用性和性能
穆罕默德·霍马蒂 , Ferhat Khendek公司 , 玛丽亚·托罗 :
面向云中可用性解决方案的评估框架。 43-46 塞沙赫里·斯里尼瓦桑 , Furio Buonopane公司 , 斯里尼·拉马斯瓦米 , 尤里·瓦因 :
使用抖动界限验证网络化自动化系统中的响应时间。 47-50 雷卡·辛哈尔 , Manoj Nambiar公司 , 哈里什·苏克瓦尼 , 基索尔·斯特里维迪 :
磁共振应用中Lustre和HDFS的性能比较。 51
第6部分: 可靠性建模2
第7部分: 基于模型的测试
迈伦·赫赫特 , 艾米丽·丁普福 , 朱莉娅·平查克 :
从SysML模型自动生成故障模式和影响分析。 62-65 吉尔·伯纳乌 , 埃迪·贾弗尔 , 布鲁诺传奇 , 法比安·佩鲁克斯 :
全球平台合规性测试MBT:经验报告和经验教训。 66-70
第8部分: 安全
第9部分: 数据管理和分析
路易吉·布格利翁 , 丹尼尔·加利亚迪 , 塞尔吉奥·奥尔托利纳 , 加布里埃尔·拉法蒂 , 埃内斯托·达米亚尼 , 富尔维奥·弗拉蒂 :
平衡计量集:改进项目管理实践的标准。 82-85 伊帕德奥拉·阿巴约米 , 伊帕多拉·奥拉迪普波 , 艾哈迈德·阿梅恩 , 约瑟夫·萨迪库 :
CAMDIT:用于集成异构数据以增强服务提供的工具包。 86-91 Clauirton de Siebra公司 , 安东尼奥·卡瓦尔坎蒂 , 法比奥·达席尔瓦 , 安德烈·桑托斯 , 塔蒂亚娜·巴·古韦亚 :
应用度量来识别和监控软件演化期间的技术债务项。 92-95
第10部分: 静态分析
Shinichi Shiraishi先生 , Veena Mohan公司 , 赫马拉塔·马里穆图 :
静态分析工具的定量评估。 96-99 Salvatore Scervo公司 , 斯特凡诺·罗萨蒂 , 加布里埃拉·卡洛扎 :
代码分析作为软件质量改进的促成因素:SELEX ES软件工程经验。 100-103 图卡拉姆·马斯克 :
支持在存在共享变量的情况下审查警告:需求和有效性。 104-107
第11部分: 设计和规划
马塞洛·特谢拉 , 理查德森·里贝罗 , 马尔科·巴博萨 , 露西恩·马林 :
一种应用于有质量保证的自动化软件工程的形式化方法。 108-111 吉安弗兰切斯科·拉涅利 :
大型集成系统中优先测试程序的规划:缺陷发现的最佳策略和测试会话的提前停止,Selex-ES体验。 112-113
第12部分: 航空电子设备
万斯·希尔德曼 :
了解DO-178C软件认证:优势与成本。 114 安德烈亚斯·洛夫马克 , 西明·纳德杰姆·泰拉尼 :
多核平台上未来航空电子系统的挑战。 115-119 皮尔雷·阿莱·布迪尔 , 伯纳德·伯托米厄 , 埃里克·杰恩 :
模型检查自动飞行控制系统功能的实时特性。 120-123
快速摘要
快速摘要1
松浦昭子 , 青木吉隆 , 绪方信培 :
使用模型检查检测源代码和规范之间的实际行为不一致。 124-125 莱昂纳多·马里亚尼 , 丹妮拉·米库奇 , 法布里奇奥·帕斯托尔 :
挖掘模型的早期冲突检测。 126-127 贾斯敏·贾希奇 , 库恩 :
通过监督执行分析功能软件依赖性。 128-129 藤本佐治 , 小岛英浩 , 中川博彦 , 筑谷达弘 :
将参数值加权应用于实际应用。 130-131 帕森特·坎迪尔 , 谢林·穆萨 , Nagwa L.Badr公司 :
大型系统的回归测试方法。 132-133 恰鸿高(Chia Hung Kao) , 平贤治 , 李一勋 :
虚拟化环境的自动测试框架。 134-135
快速摘要2
保罗·维克托·德·卡瓦略 :
将软件错误和影响分析方法映射到ISO26262软件架构(Architecture)分析需求。 136-137 向建文 , 福米奥·马奇达 , 库米科·塔达诺 , 细野茂 :
动态故障树中的切割序列是必要的吗? 138-139 马克西米利安·容克 :
开发用于交互系统可用性分析的行为模型。 140-141 马克·福斯特 :
评估嵌入式软件规范——声明性接口描述的定量和结构化评估。 142-143 奥马尔·侯赛因·阿哈兹米 , Yashwant K.Malaiya公司 :
经典的灾难恢复层在今天仍然适用吗? 144-145
学生论文
佐藤·基诺西塔 , Hidekazu Nishimura西村 , Hiroki Takamura公司 , 水谷大一 :
结合SysML和B方法描述软件规范。 146-151 周静文 , 陈振邦 , Ji Wang(音译) , Zibin Zheng先生 , 魏东 :
云系统基于运行时验证的面向跟踪的监控框架。 152-155 路易吉·德西蒙 :
云计算生态系统中的故障传播分析。 156-161 努诺·席尔瓦 , 马可·维埃拉 :
努力使安全关键系统更安全:从错误中学习。 162-167 路易斯·爱德华多·桑托斯 , 玛丽亚·库拉多 , 马可·维埃拉 :
软件定义网络弹性基准测试的研究议程。 168-173 Nobuo Kikuchi公司 , 吉村武史 , Ryo Sakuma先生 , 河野贤治 :
注入的故障是否会导致真正的故障? Linux案例研究。 174-179
ASSURE 2014-第二届软件集成系统保证案例国际研讨会
第1部分: 原理和技术
瓦伦丁·卡萨诺 , T·S·E·迈鲍姆 :
安全论证的定义和评估。 180-185 罗宾·布隆菲尔德 , 卡特琳娜·内卡乔娃 :
保证案例的构建块。 186-191 田口贤治 , 大辅岛 , 西原秀美 , Toshinori Takai先生 :
将可追溯性与GSN联系起来。 192-197 Khana Chindamaikul公司 , Toshinori Takai先生 , Hajimu Iida先生 :
从文档存储库中检索信息以构建保障案例。 198-203
第2部分: 流程和工具
芭芭拉·加利纳 :
过程合规性的模型驱动安全认证方法。 204-209 Junbeom Yoo先生 , Jong Gyun Choi先生 , 李英俊 , 李章洙 :
一种演示程序翻译人员安全性和正确性的技术:策略和案例研究。 210-215 安东尼·艾罗先生 , 阿什莉·B·霍金 , 约翰·C·奈特 , 乔纳森·罗安希尔 :
SCT:安全案例工具包。 216-219
第三部分: 应用
安妮塔·芬尼根 , 费加尔·麦卡弗里 :
医疗器械保障案例的安全论证模式。 220-225 阿什莉·B·霍金 , 约翰·C·奈特 , 安东尼·艾罗先生 , Shinichi Shiraishi先生 :
论证软件符合ISO 26262。 226-231
IWPD 2014-第五届IEEE程序调试国际研讨会
第1部分: 事件集和跟踪缩减
哈内菲·梅尔坎 , Cemal Yilmaz公司 :
查明导致事件顺序的故障。 232-237 蒂穆·坎斯特伦 , 玛莎·契契克 :
在基于模型的测试中帮助调试的跟踪减少和模式分析。 238-243
第2部分: 小组讨论
W.Eric Wong :
程序调试:研究与实践。 244
第三部分: 支持可靠性、静态分析和时态断言的调试
瓦法·贾法尔 , 杰夫·田 :
事务Web应用程序的缺陷分析和可靠性评估。 245-250 钱旺(Qian Wang) , 大海金 , 云战宫 :
基于三值矩阵的静态缺陷检测记忆模型。 251-256 齐亚德·阿尔沙里夫 , 克林顿·L·杰弗里 , 马哈茂德·赛义德 :
使用动态时态断言进行调试。 257-262
第4部分: 调试和故障定位的质量和适用性
Birgit Hofer公司 :
电子表格的基于频谱的故障定位:正确的输出单元对故障定位质量的影响。 263-268 本杰明·西格蒙德 , 迈克尔·佩尔切伊德 , 马塞尔·塔伊梅尔 , 罗伯特·赫施菲尔德 :
研究专业软件开发人员调试实践的进展。 269-274
2014年风险——第二届风险评估和风险驱动测试国际研讨会
第1部分: 风险分析与评估
Leanid Krautsevich公司 , 法比奥·马蒂内利 , Yautsiukhin艺术中心 :
使用攻击面评估复杂系统的风险。 275-280 萨姆森·约塞夫·埃萨亚斯 :
使用CORAS方法构建合规风险识别:合规作为资产。 281-286 芭芭拉·加利纳 , 爱丁·塞弗 , Atle Refsdal公司 :
通过故障逻辑分析对社会技术系统进行安全风险评估。 287-292
第2部分: 风险管理
约翰内斯·维埃曼 :
外包到云的风险管理:安全风险和保障作为外部云服务的选择标准。 293-295 亚瑟-约瑟夫·莫尔纳 , 吉尔根·格罗曼 :
CRSTIP-安全评估流程的评估方案。 296-298
第3部分: 风险建模和基于风险的测试
沃尔夫冈·赫兹纳 , 斯文·西弗丁 , 奥马尔·卡奇米 , 埃卡德·博德 , 托马斯·鲍尔 , 布莱恩·尼尔森 :
使用模式表达安全关键系统(风险)分析和测试的最佳实践。 299-304 Gencer Erdogan公司 , Atle Refsdal公司 , 凯蒂尔·斯特伦 :
基于UML交互的风险分析语言的英语玫瑰语义生成示意图。 305-310 肖卡特·阿里 , 陶月 , 安德烈亚斯·霍夫曼 , 马克·弗洛里安·温德兰 , 亚历山德拉·巴格纳托 , 艾蒂安·布罗斯 , 马库斯·沙彻 , 甄汝岱 :
UML测试概要文件如何支持基于风险的测试。 311-316
RSDA 2014-第二届IEEE可靠性和安全数据分析国际研讨会
第1部分: 脆弱性分析
宾杜·马达维·帕德马纳布尼 , Hee Beng Kuan Tan先生 :
通过挖掘轻量级静态代码属性预测缓冲区溢出漏洞。 317-322 杰弗里·斯塔克曼 , 詹姆斯·普蒂洛 :
从Linux分发元数据中挖掘安全漏洞。 323-328
第2部分: 安全数据挖掘
卡洛·施费尔 :
利用从元数据中提取的国家计数和理论地理旅行速度检测垃圾邮件僵尸网络使用的泄露电子邮件帐户。 329-334 安德烈·鲍迪斯 , 桑托努·萨卡尔 , 多梅尼科·科特罗尼奥 :
安全警报分析的概念聚类实验。 335-340
第三部分: 数据驱动分析
Xin Chen(新晨) , 昌大路 , 卡提克·帕塔比拉曼 :
计算云中工作的失败预测:谷歌集群案例研究。 341-346 卡加泰·图尔盖 , 斯蒂芬·梅森 , 伊里尔·加西 , 博扬·库基奇 :
通过可视化分析支持生物识别系统部署决策。 347-352 乔·马托斯 , 努诺·科拉索 , 乔安·加西亚 :
以更少的开销录制和重播基于GUI的应用程序。 353-358
第4部分: 安全可靠的设计
斯特凡诺·罗谢罗 , 阿米什·乔达里 , 阿潘·罗伊 , 拉杰什瓦里·加内桑 :
结合黑盒测试和白盒代码分析:测试企业SaaS应用程序的异构方法。 359-364 彼得·布鲁尔 , 乔纳森·鲍文 :
避免硬件混淆:验证加密计算的RISC机器和汇编代码。 365-370 英戈施蒂兰 , 苏尼尔·马利帕特洛拉 , 西比尔·B·弗罗施勒 , 亚历山大·施蒂林 , 斯特凡·亨克勒 :
将安全方面集成到嵌入式系统的设计空间探索中。 371-376 安娜·科布辛斯卡 , 杰日·布热津斯基 :
关于SOA回滚恢复一致性模型的等价性。 377-382
第5部分: 异常检测
弗拉维奥·弗拉蒂尼 , 桑托努·萨卡尔 , Jyotiska Nath Khasnabish公司 , 斯蒂法诺·鲁索 :
使用不变量进行异常检测:SaaS应用程序的案例研究。 383-388
第6部分: 互联网威胁与对策
安德烈亚·迪·弗洛里奥 , 尼诺·文森佐·维德 , 安东尼奥·维拉尼 , 多梅尼科·维塔利 , 路易吉·文森佐·曼奇尼 :
绕过审查:土耳其最近互联网审查的一个行之有效的工具。 389-394 米兰达·莫布雷 , 约西亚·哈根 :
通过查看长度分布找到域生成算法。 395-400 维姆·米斯 , 蒂鲍特·黛巴蒂 :
用于APT检测的多代理系统。 401-406 塞萨里奥·迪萨诺 , 阿莱西亚·加罗法罗 , 吉安弗兰科·塞鲁洛 , 纳迪尔·穆鲁 , 费利西塔·迪·詹多梅尼科 , 西尔瓦诺·齐亚拉多纳 :
通过卡尔曼滤波处理电网异常。 407-412
2014年WoSAR第六届软件老化与复兴国际研讨会
主题演讲1
安东尼奥·普利亚菲托 :
云系统中的软件复兴。 413
第1部分: 复兴规划
艾坦·奥尔特曼 , 阿尔贝托·阿弗里策 , 拉希德·埃尔·阿苏齐 , 丹尼尔·萨多克·梅纳西 , Leandro Pfleger de Aguiar公司 :
一般拓扑中流行病的复兴和传播。 414-419 王秋石 , 卡廷卡·沃尔特 :
移动卸载系统性能恶化的检测与分析。 420-425 赵静(音译) , 王彦斌(Yanbin Wang) , 高荣宁 , 王成红 , 基肖·S·特里维迪 , 蔡开元 , 张振宇 :
基于Stackelberg博弈方法的软件维护优化。 426-430
主题演讲2
斯蒂法诺·鲁索 :
软件老化的双重性质:二十年的软件老化研究。 431-432
第2部分: 老化分析和缓解
多梅尼科·科特罗尼奥 , 罗伯托·纳特拉 :
修补非现成软件中的内存泄漏错误。 433-436 涌泉岩 , 郭萍(Ping Guo) , 刘立峰(Lifeng Liu) :
用于预测IIS Web服务器中资源消耗的人工神经网络和ARIMA模型的新混合。 437-442 涌泉岩 , 郭萍(Ping Guo) , 刘立峰(Lifeng Liu) :
使用SVM预测IIS Web服务器中的软件老化的实践。 443-448 毛里齐奥·利奥塔 , 安德烈亚·斯托科 , 菲利波·里卡 , 保罗·托内拉 :
通过健壮的XPath定位器减少Web测试用例老化。 449-454
WOSD 2014-开放系统可靠性第四次研讨会
第1部分: 保证的演变
山本水千郎 , 森崎舒吉 :
使用D-Case模式确保测试用例充分性的评估。 455-460 Toshinori Takai先生 , Hiroyuki Kido先生 :
GSN的补充符号,旨在处理保证案例的变更。 461-466
第2部分: 开放系统可靠性管理
杰琳娜·弗图尼克 , 迈克尔·阿姆布鲁斯特 , 阿洛伊斯·克诺尔 :
开放式汽车系统的运行时自适应错误和状态管理。 467-472 凌芳 , 李国强 , You英杰 , 陈朝斌 , 胡丽琴 :
针对弹性战略的SIL评估。 473-477 V.B.辛格 , 米拉·夏尔马 :
基于开放错误数、新功能和功能改进预测代码更改的复杂性。 478-483
2014年WoSoCer第四届IEEE软件认证国际研讨会
邀请的谈话
洛伦佐·斯特里吉尼 :
评估技术、认证和[我们还需要什么]对软件的信心。 484
第1部分: 认证参数
西尔维娅·格里戈罗娃 , T.S.E.Maibaum公司 :
保证案例可信度建模背景下的论证评估。 485-490
第2部分: 汽车认证
克里斯蒂亚娜·阿瑞亚斯 , 乔·卡洛斯·库尼亚 , 戴维德·伊阿科诺 , 弗朗西斯科·罗西 :
汽车软件认证。 491-496 朱塞佩·拉米 , 法比奥·法尔奇尼 :
安全关键环境下的汽车SPICE评估:经验报告。 497-502 莫拉约·阿德朱马 , 郝虎 :
汽车认证目标的过程模型定制和评估。 503-508
第三部分: 认证流程
里卡多·J·罗德里格斯 , 萨西库马尔·蓬内卡特 :
软件产品线认证中的成本优化。 509-514 内敏·卡伊塔佐维奇 , 安德烈亚·霍勒 , 托拜厄斯·劳特 , 克里斯蒂安·克里纳 :
通过有保证的动态软件配置降低认证成本。 515-520 尼古拉·诺斯特罗 , 安德烈亚·邦达瓦利 , 努诺·席尔瓦 :
在安全关键认证中增加安全问题。 521-526
第4部分: 可靠性和可认证性评估工具
弗雷德里克·沃格 , 本杰明·维德 , 马丁·斯科格隆德 , 安德烈亚斯·索德伯格 :
安全附加说明:基于安全合同的设计工具。 527-529 多梅尼科·科特罗尼奥 , 路易吉·德西蒙 , 安东尼奥·肯·伊恩尼洛 , 安娜·兰扎罗 , 罗伯托·纳特拉 :
提高故障注入的可用性。 530-532
![](https://dblp2.uni-trier.de/img/cog.dark.24x24.png)