2019年第30届ISSRE:德国柏林——研讨会
卡廷卡·沃尔特 , 伊娜·希弗德克 , 芭芭拉·加利纳 , 米歇尔·卡基尔 , 罗伯托·纳特拉 , 纳格梅·拉梅扎尼·伊瓦基 , 努诺·拉兰基罗 :
2019年10月27日至30日,德国柏林,IEEE软件可靠性工程研讨会,2019年ISSRE研讨会。 电气与电子工程师协会 2019 ,国际标准图书编号 978-1-7281-5138-0
ISSRE 2019行业跟踪
中川高雄 , Kazuki Munakata公司 , 山本耕史 :
将修改的基于代码实体的回归测试选择应用于商业Web应用程序的手动端到端测试。 1-6 比约恩·约翰逊 , 亚历山德罗·维托里奥·帕帕佐普洛斯 , 托马斯·诺尔特 :
使用静态代码分析在嵌入式系统中定位并发缺陷:评估。 7-12 藤岛浩史 , 石川福玉 :
将SQuaRE应用于人工智能系统的质量评估。 13-18 安德烈·平霍 , 路易斯·库托 , 何塞·奥利维拉 :
关键系统生锈。 19-24 内森·里奥佩尔 , Aniket马拉特普尔 , 斯瓦普尼·阿什特卡 , V.拉曼 :
基于依赖图的私有云故障分析。 25-29 拉斯穆斯·阿德勒 , 穆罕默德·纳维德·阿克兰 , 帕特里克·费特 , 福田武史 , 石谷佐木 , 大冢佐治 , 丹尼尔·施奈德 , 吉村肯塔罗 :
高自动化驾驶功能故障操作架构的工程和强化。 30-35 王聪(音) , 郝孙 , 徐一文 , 余江 , 张华峰 , 明古 :
Go Sanitizer:Golang的面向Bug的断言生成。 36-41 谭国林 , 张鹏(音译) , 张磊(Lei Zhang) , 于章 , 庄章 , 刘庆云 , 刘欣然 :
基于异常值校正的时间序列学习算法在恶意域识别中的应用。 42-46 Veena Mendiratta公司 , 刘卓然 , Mrinmoy Bhattacharjee先生 , 余洲 :
用变化检测算法检测和诊断大型系统中的异常行为。 47-52 乌塔姆·塔科尔 , 哈里戈文德·拉马萨米 , 威廉·桑德斯 :
企业云中异构监控数据的协调分析,用于事件响应。 53-58 帕拉维·潘迪 , 阿努帕姆·萨卡尔 , 安苏曼·班纳吉 :
Triforce QNX系统调用模糊器。 59-60 Kyawt Kyawt-San公司 , Hironori Washizaki公司 , 福泽义明 , 本田清吉 , Masahiro Taga公司 , 松崎明(Akira Matsuzaki) :
DC-SRGM:深度跨项目软件可靠性增长模型。 61-66 菲利普·哥特利希 , 汉斯-基督教再利用 :
关键嵌入式系统物理模型集成中的功能和安全弱点。 67-72 阿皮特·克里斯蒂 , 亚历克斯·格罗斯 , 奥斯汀·威尔曼 :
通过基于测试的软件最小化构建资源适应性:应用、挑战和机遇。 73-78 尤金尼奥·帕拉 , 路易斯·阿隆索 , 罗伊·门迪塔 , 何塞·路易斯·德拉瓦拉 :
安全关键系统人工制品质量分析进展。 79-84
ISSRE 2019博士研讨会
特蕾莎·贝特曼 :
智能电网弹性数据管理框架。 85-88 威廉·纳勒帕·小泉 :
改进可靠性属性的重构建议。 89-92 洛伦佐·德·劳雷蒂斯 :
从单片架构到微服务架构。 93-96 广鹏 :
多目标优化研究及其在云计算中的应用。 97-99 安娜·图雷 :
使用EFSM进行基于搜索的测试。 100-103 卢卡·维托里奥·萨托里 :
基于仿真的测试,以提高自主机器人的安全性。 104-107 尚志浩 :
OpenFlow网络中控制平面的性能和可靠性。 108-111 韩武(Han Wu) :
研究计划:Apache Kafka流媒体系统的可靠性评估。 112-113
ISSRE 2019快速摘要
简·哈夫曼·海斯 , 于婷婷 :
ISSRE关注:软件可靠性工程社区如何回报社会。 114-115 科布拉·坎莫哈迈迪 , 拉斐尔·库里 , 阿卜杜勒瓦哈布·哈穆·哈德(Abdelwahab Hamou-Lhadj) :
关于使用API调用检测重新打包的恶意软件应用程序:挑战和想法。 116-117 迈克尔·拜尔 , 安德烈·莫罗佐夫 , 凯丁 , 盛鼎 , 克劳斯·詹斯克 :
随机硬件故障对安全关键人工智能应用影响的量化:基于CNN的交通标志识别案例研究。 118-119 郭浩然 , 君艾 , 陶氏 :
一种基于软件复杂网络的克隆代码检测方法。 120-121 马塞洛·辛克 , 拉斐尔·德尔拉·科尔特 , 安东尼奥·佩基亚 :
微服务系统中的高级监控。 122-123 小岛英浩 , Naoto Yanai公司 :
利用SPIN对安全路由协议进行形式化验证的状态空间抑制方法。 124-125 安东尼奥·肯·伊安尼洛 , Radu状态 :
基于Trustzone-M的软件安全评估建议。 126-127
GAUSS 2019研讨会
安德里亚·里博尼 , 卢卡·古列尔莫 , 马泰奥·奥尔 , 彼得罗·布雷奥内 , 乔瓦尼·德纳罗 :
ERMTS应用程序的可测试性设计。 128-136 玛丽亚诺·塞卡托 , 卢卡·加佐拉 , 菲萨姆·梅舍沙·基菲特夫(Fitsum Meshesha Kifetew) , 莱昂纳多·马里亚尼 , 马泰奥·奥尔 , 保罗·托内拉 :
移动应用程序的视频内测试。 137-143 安东尼娅·贝尔托利诺 , 古列尔莫·德·安吉利斯 , 弗朗西丝卡·洛内蒂 :
管理系统体系中的回归测试。 144-148 马可·奥蒂利 , 弗朗西斯科·加洛 , 保拉·因弗拉迪 , 克劳迪奥·蓬皮利奥 , 马西莫·蒂沃利 :
通过区块链在面向服务的分布式系统中引入信任。 149-154 卢西亚诺·巴雷西 , 乔瓦尼·德纳罗 , 乔瓦尼·夸特罗奇 :
作为自适应系统体系的大数据应用。 155-162 安德烈亚·詹斯 , 芭芭拉·拉索 :
从整体服务到微服务过渡期间的自动性能监控和回归测试。 163-168 安东尼奥·德伊亚西奥 , 尤金尼奥·齐梅奥 :
通过微服务应用程序中的同步避免因悬空依赖而导致的故障。 169-176 埃斯特·贾隆纳多 , 弗朗西斯科·波吉 , 大卫罗西 , 尤金尼奥·齐梅奥 :
基于运行时语义模型的弹性反应系统。 177-184 安东尼奥·格雷罗 , 拉斐拉·米兰多拉 , 罗伯托·皮特兰托诺 , 斯蒂法诺·鲁索 :
Web服务可靠性和性能评估的混合框架。 185-192 马可·莫比利奥 , 马泰奥·奥尔 , 奥利维埃罗·里加内利 , 亚历山德罗·图多 , 莱昂纳多·马里亚尼 :
异常检测即服务。 193-199 艾米莉亚·乔罗埃卡 , 费利西塔·迪·詹多梅尼科 , 库恩 , 弗朗西丝卡·洛内蒂 , 埃达·马切蒂 , 贾斯敏·贾希奇 , 弗兰克·施尼克 :
智能生态系统中恶意行为检测的运行时监测。 200-203
2019年WoSAR研讨会
Ermeson C.安德拉德 , 福米奥·马奇达 :
软件老化对边缘计算植物异常检测的影响分析。 204-210 埃里科·A·C·古德斯 , 保罗·马西尔 :
使用再生和实时迁移的服务功能链可用性分析的随机模型。 211-217 卢卡斯·拜尔利卜 , 卢卡斯·伊夫兰德 , 阿列克桑达尔·米伦科斯基 , 查尔斯·冈萨尔维斯 , 努诺·安图内斯 , 塞缪尔·库内夫 :
测试虚拟机监控程序Hypercall接口的软件老化行为。 218-224 丹尼尔·梅纳西 , 基索尔·斯特里维迪 , 艾坦·奥尔特曼 :
复兴与信息时代。 225-231 马特乌斯·舒尔兹·诺盖拉 , 菲利佩·阿西斯 , 丹尼尔·梅纳西 , 杰拉尔多·塞克塞奥 , 卡廷卡·沃尔特 :
软件在野外的长寿:民间传说和法律。 232-238 多梅尼科·科特罗尼奥 , 路易吉·德西蒙 , 罗伯托·纳特拉 , 罗伯托·皮特兰托诺 , 斯蒂法诺·鲁索 :
适用于Android的可配置软件老化检测和恢复代理。 239-245
RSDA 2019研讨会
肖恩·里维拉 , 索菲安·拉格拉 , 安东尼奥·肯·伊恩尼洛 , Radu状态 :
自动编码机器人状态以抵抗传感器欺骗攻击。 252-257 费尔南多·卡韦·卡瓦略·奥塔 , 豪尔赫·奥古斯托·梅拉 , 西里尔·雷诺德·卡萨涅斯 , Radu状态 :
移动应用程序到SGX Enclave Secure Channel。 258-263 索尔·约翰逊 , 乔·费雷拉 , 亚历山大·门德斯 , 朱利安·科德里 :
迷失在披露中:关于密码组合策略的推断。 264-269 霍根 , 诺埃尔·沃福德 , 罗伯特·莫里森 , 大卫·米勒 , 肖恩·马龙 , 詹姆斯·普蒂洛 :
标记脆弱性贡献承诺的挑战。 270-275 朱卡·鲁霍宁 , 卡勒·林德尔 :
关于连续核模糊和发展之间相互作用的实证说明。 276-281 塞里格·穆罕默德·迪奥普 , 杰玛·戴维·恩迪布维 , 豆豆瀑布 , 石原茂 , Youki Kadobayashi先生 :
强制还是不强制? 针对大规模漏洞通知的网络安全和网络犯罪立法的定量调查。 282-287 克里斯蒂安·莱斯卡诺 , 玛尔塔·阿里亚斯 :
使用基于项集的生成模型生成合成数据集。 288-293 朱卡·K·努尔敏 , 托马斯·哈尔瓦里 , 朱哈·哈维亚宁 , 朱哈·米拉里 , 安蒂·雷斯克 , 朱索·席尔文诺宁 , 托米·米科宁 :
测试机器学习系统数据故障注入的软件框架。 294-299
WoSoCer 2019研讨会
赵树杰 , 陈一群 , 史蒂芬温特 , 内拉杰·苏里 :
分析和改进客户端云安全可认证性。 300-307 路易吉·德西蒙 , 乔瓦尼·马佐奥 :
通过基于SGX的轻量级虚拟化隔离实时安全关键嵌入式系统。 308-313 西罗·唐纳鲁玛 , 彼得罗·法拉 , 加布里埃尔·塞拉 , 桑德罗·迪·莱昂纳尔迪 , 毛罗·马里诺尼 :
EN-50128面向认证的安全关键硬实时内核设计。 314-317 弗雷德里克·沃格 , 汉斯·布洛姆 , 乔纳斯·博格 , 罗尔夫·约翰逊 :
具有连续保证案例的可靠系统的连续部署。 318-325 何塞·路易斯·德拉瓦拉 , 尤金尼奥·帕拉 , 路易斯·阿隆索 , 罗伊·门迪塔 , 博尔贾·洛佩斯 , 何塞·玛丽亚·阿尔瓦雷斯·罗德里格斯 :
为保证和认证以及以知识为中心的系统工程提供工具支持的集成。 326-329 卡门·卡兰 , 维维克·尼甘姆 , 塞巴斯蒂安·沃斯 , 亚历山大·萨利迪斯 :
ExplicitCase:用于创建和维护与系统模型集成的保证参数的工具支持。 330-337 尼古拉斯·梅塔耶 , 安德烈斯·帕斯 , 吉兹兰·埃尔·布塞迪 :
DO-178C保障需求建模:设计保障水平敏感DSL。 338-345 安托阿内塔·孔德瓦 , 维维克·尼甘姆 , 哈拉尔德·罗斯 , 卡门·卡兰 :
支持安全与安保协同工程的计算机辅助技术。 346-353
IDEAR 2019研讨会
印戈药丸 , 弗兰兹·沃塔瓦 :
使用诊断支持扩展自动FLTL测试Oracle。 354-361 李文璐 , 李秋英 :
航天工业中影响软件安全的因素分析。 362-369 马哈茂德·穆罕默德 , 比尔·朱 , 希瑟·里希特·利普福德 :
通过单元测试自动修复跨站点脚本漏洞。 370-377
IWSF 2019研讨会
拉菲格·阿尔马盖尔贝 , 马克·罗珀 :
自动故障检测的两种不同策略的实证比较:机器学习与动态分析。 378-385 马克·哈顿 , 弗洛里安·辛特克 , 托尔斯滕·舒特 :
通过测试和分类精确定位数据竞争。 386-393 韩武(Han Wu) , 尚志浩 , 卡廷卡·沃尔特 :
TRAK:用于研究Apache Kafka中数据交付可靠性的测试工具。 394-397 昆汀·福尼尔 , 纳赛尔·埃扎蒂-吉万 , 丹尼尔·阿洛伊斯 , 米歇尔·达格纳斯 :
Web应用程序中性能问题的自动原因检测。 398-405 拉斐尔·库里 , 阿卜杜勒瓦哈布·哈穆·哈德(Abdelwahab Hamou-Lhadj) , 穆罕默德·伊莱斯·拉希姆 , 西尔万·霍尔 , 法比奥·佩蒂略 :
支持程序理解的三因素轨迹分割方法。 406-413 菲利普·马科特 , 弗雷德里克·格雷戈里(Frédéric Grégoire) , 法比奥·佩特里洛 :
云系统中的多重容错机制:系统综述。 414-421
2019年SHIFT研讨会
彼得·布鲁尔 , 乔纳森·鲍文 :
隐藏确定性硬件混淆的安全编译。 422-427 彼得·布鲁尔 , 乔纳森·鲍文 :
混沌编译:秘密计算机的(统计)外衣。 428-433 Abderrahmane Sensaoui公司 , Oum-El-Kheir Aktouf村 , 大卫·Hély :
SHCoT:安全(和已验证)的混合信任链,以防止轻型设备中的恶意软件。 434-439 阿默尔·卡杰马科维奇 , 康拉德·迪沃尔德 , 内敏·卡伊塔佐维奇 , 罗伯特·祖潘克 , 乔治·马赫 :
混合临界系统中存储器的灵活软错误缓解策略。 440-445