第31届ISSRE 2020:葡萄牙科英布拉——研讨会
-
2020年IEEE软件可靠性工程研讨会国际研讨会,ISSRE研讨会,葡萄牙科因布拉,2020年10月12-15日。 电气与电子工程师协会 2020 ,国际标准图书编号 978-1-7281-7735-9 石川福玉 :
测试和调试自动驾驶:路径规划器的经验和未来的挑战。 xxxiii xxxiv 奥法特 :
ISSRE 2020博士研讨会主旨:如何让你的论文被拒绝。 xxvi-xxvii号 D.理查德·库恩 :
普通编码错误如何导致安全漏洞? xl(xl) 佐尔坦·波科拉布 :
使用libFuzzer模糊C++类接口以生成和运行测试。 l-lii公司 罗伯托·纳特拉 , 阿图尔·安德热亚克 :
SAR手册章节:软件老化分析的实验工具。 1 郝阳 , 杨旭 , 李勇 , Choi先生 :
K-Detector:识别大型软件交付中的重复碰撞故障。 1-6 若昂·利马 , 菲利佩·阿波利纳里奥 , 纳尔逊·埃斯克拉瓦纳 , 卡洛斯·里贝罗 :
BP-IDS:使用业务流程规范在关键基础设施中利用入侵检测。 7-12 杨鸿章 , 杨亚辉 , 陈正光 , 李宗钊 , 涂耀峰 :
ADF2T:一款主动磁盘故障预测和容错软件。 13-18 拉利塔·贾特甘卡·贾加迪桑(Lalita Jategaonkar Jagadeesan) , Veena B.Mendiratta公司 :
当失败不是一种选择时:微服务架构的可靠性模型。 19-24 米伦·伊拉拉门迪·雷萨瓦尔 , Leire Etxeberria公司 , 费利克斯·拉里纳加 , Goiuria Sagardui公司 :
CRESCO框架和检查器:自动生成反射UML状态机的C++代码和检查器。 25-30 莫妮卡·贾斯科尔卡 , 斯蒂芬·斯科特 , 维拉·潘特利克 , 阿兰·瓦辛格 , 马克·劳福德 :
模块分解在Simulink中的应用。 31-36 穆罕默德·乌斯曼·萨瓦尔 , 萨里姆·扎法尔 , 穆罕默德·维姆·姆考尔 , 古尔西姆兰·辛格·瓦利亚 , 穆罕默德·祖拜尔·马利克 :
使用传递学习对提交消息进行多标签分类。 37-42 曼恩德·辛格 , 古尔西姆兰·瓦利亚 :
使用语义分析和图形挖掘方法支持软件故障修复。 43-48 瓦比哈夫·安努 , 卡齐·扎基亚苏丹 , 巴拉斯·K·萨曼图拉 :
一种基于人为错误的方法来理解程序员引起的软件漏洞。 49-54 努诺·席尔瓦 , 泽维尔·费雷拉 , 杰斯珀·特罗尔森 , 托马斯·卡马约尔 :
航天工业的独立验证和确认:指导进化经验。 55-60 斯蒂芬·鲍姆加特 , 约阿金·弗罗伯格 , 萨西库马尔·蓬内卡特 :
支持系统间系统安全分析的过程。 61-66 克劳迪斯·乔丹 , 弗洛里安·豪尔 , 菲利普·福思 , 亚历山大·普雷施纳 :
基于时间序列的硬件在回路设置中故障分析聚类:汽车案例研究。 67-72 内敏·卡伊塔佐维奇 , 彼得·霍德尔 , 乔治·马赫 :
检测编译器管道以合成混合关键应用程序中的可跟踪运行时内存布局。 73-78 让·古约马尔赫 , Jean-Baptiste Hervé :
安全关键系统的静态和可验证内存分区。 79-84 阿提拉·瓦尔马·贾库马尔 , 斯米莎·高萨姆 , D.理查德·库恩 , 布兰登·J·西蒙 , 艾丹·G·柯林斯 , 托马斯·迪尔希 , 拉胡·卡克 , 卡尔·R·麋鹿 :
核电应用中关键嵌入式数字设备的系统软件测试。 85-90 Seunghwan Baek先生 , 宋季洙 , Seo Changyun :
RSX:用于DBMS中业务应用程序工作负载的复制场景提取技术。 91-96 何红军 , 曹继成 , 杜乐生 , 郝丽 , 王士龙(Shilong Wang) , 盛裕诚(Shengyu Cheng) :
ConstBin:一个自动修复不可复制构建的工具。 97-102 陈金福 , 陈静怡 , 董国(Dong Guo) , 戴夫·托维 :
一种基于自适应随机测试的改进模糊方法。 103-108 Dheeraj Chahal公司 , 拉维·奥哈 , 曼珠·拉梅什 , 雷卡·辛哈尔 :
将大型深度学习模型迁移到无服务器体系结构。 111-116 Gilhee Lee公司 , 塔根月亮 , Min Jang女士 , 金贤石 :
eAPT:使用镜像站点解析器增强APT。 117-122 何塞·达布鲁佐·佩雷拉 :
高级软件漏洞检测技术和工具。 123-126 安东尼奥·格雷罗 :
ML系统的可靠性评估,预言问题。 127-130 何塞·弗洛拉 :
通过检测和容忍入侵来提高微服务系统的安全性。 131-134 劳尔·塞纳·费雷拉 :
面向自主系统基于ML感知任务的安全监测。 135-138 托马斯·赫希 :
由错误跟踪数据驱动的故障定位和调试支持框架。 139-142 M.Alireza Hakamian先生 :
工程弹性:预测变化对可重构系统性能和可用性的影响。 143-146 周锦怡 , 昆秋 , 郑正 , 曾月珍(Tsong Yueh Chen) , Pak-Lok Poon公司 :
使用变形测试评估DNN覆盖标准。 147-148 纳格梅·伊瓦基 , 努诺·安图内斯 :
侧面:安全感知的集成开发环境。 149-150 胡安·埃尔南德斯·塞拉托 , 亚历杭德罗·贝拉斯科 , 尤里·尼菲奥 , 马里奥·利纳雷斯(Mario Linares-Vásquez) :
将机器学习应用于混沌工程。 151-152 亚历山德拉·菲格雷多 , 塔贾娜·利德 , 米格尔·科雷亚 :
多语言Web漏洞检测。 153-154 维德罗哈·德布罗伊 , 阿利雷萨·曼索里 , 詹姆斯·哈利布莱恩 , 马克·威尔肯斯 :
迁移到云时应用程序性能监视(APM)面临的挑战。 153-154 廖倩英 :
通过基于代理的模拟对CI/CD管道进行建模。 155-156 陈振祥 , Washizaki广诺 , 福泽义明 :
用于修改屏蔽MC/DC测试套件的自动工具。 157-158 高木智彦 , 坂田光一郎 :
使用扩展有限状态机测试软件的抽象行为。 159-160 Nataliya Yakymets公司 , 莫拉约·阿德朱马 :
基于FIDES可靠性预测的基于模型的定量故障树分析。 161-162 阿什莉·B·霍金 , 乔纳森·罗安希尔 , 本·迪维托 :
检测需求和规范缺陷的单位引理。 163-164 乔纳森·罗安希尔 , 阿什莉·B·霍金 , 威廉·霍金斯 :
TDABD:基于测试驱动的开发。 165-166 Nishanth Laxman公司 , 彼得·利格斯迈耶 :
我们是否应该在运行时“安全”地处理不确定性 这是一个很少被问及的问题。 167-168 Madhuparna Bhowmik公司 , 奈拉·玛杜米莎 , Biju R.Mohan公司 :
使用Intel Pin Instrumentation Framework计算可执行文件的相似性。 169-170 托马斯·赫希 , 比吉特·霍弗 :
基于错误报告的根本原因预测。 171-176 马吉德·雷扎德 , 纳赛尔·埃扎蒂-吉万 , 埃文·加利亚 , 米歇尔·达格纳斯 :
基于多级执行跟踪的锁冲突分析。 177-182 罗杰·威廉·伯德 , 塔尼萨·苏尔塔纳 , 克里斯汀·沃尔科特 :
AHPCap:移动应用程序状态的自动硬件评测和捕获框架。 183-188 马特奥·卡米利 , 卡明·科拉鲁索 , 芭芭拉·拉索 , 尤金尼奥·齐梅奥 :
数据密集型应用程序的领域度量驱动分解。 189-196 吉安卢卡·菲利波内 , 马可·奥蒂利 , 马西莫·蒂沃利 :
走向上下文软件编舞的综合。 197-200 安德烈亚·斯托科 , 保罗·托内拉 :
走向不断学习的异常探测器。 201-208 安东尼娅·贝尔托利诺 , 弗朗西丝卡·洛内蒂 , 奥利维拉·内维斯 :
站在系统测试系统软件产品线研究的肩膀上。 209-214 亚历山德罗·图多 , 奇亚拉·卡斯特尔诺沃 , 马可·莫比利奥 , 奥利维埃罗·里加内利 , 莱昂纳多·马里亚尼 :
声明性仪表板生成。 215-218 比约恩·伍德卡 , 卡斯滕·托马斯 , 伦纳特·西夫克 , 沃尔克·索默 :
开放式自适应系统的重构方法。 219-222 安东尼奥·布罗吉 , 斯特凡诺·福蒂 , 卡洛斯·格雷罗 , 艾萨克·勒拉 :
走向雾中的声明式分散应用程序管理。 223-230 查尔斯·冈萨尔维斯 , 努诺·安图内斯 :
脆弱性分析作为安全基准测试中的可信度证据:Xen的案例研究。 231-236 大卫·佩雷拉 , 乔·费雷拉 , 亚历山大·门德斯 :
使用非自助猜测攻击评估密码强度计的准确性。 237-242 詹皮罗·科斯坦蒂诺 , 伊利亚·马特尤奇 , 多梅尼科·莫拉莱斯 :
EARNEST:针对CAN消息的基于挑战的入侵预防系统。 243-248 利迪亚·高尔霍夫 , Yuki Hagiwara公司 , 克里斯托夫·肖恩 , 马里奥陷阱 :
考虑深度学习功能的可靠性以提高数据适用性和异常检测。 249-254 贾科莫·伊达罗拉 , 法比奥·马丁内利 , 弗朗西斯科·梅尔卡多 , 安东内拉·桑通 :
评估Android恶意软件家族检测中的深度学习分类可靠性。 255-260 卡洛·阿巴特 , Lelio Campanile公司 , 斯特凡诺·马龙 :
用于基于模型/数据驱动的可靠性评估的灵活的基于仿真的框架。 261-266 M.Alireza Hakamian先生 , 克里纳库植物园 , 安德烈·范·霍恩 , 斯特芬·贝克尔 :
弹性、生存性和弹性:可重构系统变化影响量化的分类。 267-274 西尔瓦恩·皮卡德 , 卡米尔·查普德莱恩 , 西里尔·卡皮 , 劳伦特·加德斯 , 埃里克·杰恩 , 巴普蒂斯特·莱夫维尔 , 托马斯·索马蒙 :
确保机器学习认证的数据集质量。 275-282 古吉拉特阿尔潘语 , 萨提什·戈帕拉克里什南 , 卡提克·帕塔比拉曼 :
旧瓶装新酒:机器学习组件的N版编程。 283-286 乔安娜·C·S·桑托斯 , 阿里·肖克里 , 迈赫迪·米拉霍利 :
面向快速连续软件认证的自动证据生成。 287-294 卡门·科尔兰 , 丹尼尔·彼得里索 , 芭芭拉·加利纳 , 汉内斯·舍恩哈尔 :
可检查的安全案例:启用安全工作产品之间的自动一致性检查。 295-302 约翰·桑德尔 , 克里斯蒂娜·隆德奎斯特 , 哈坎·福斯伯格 :
安全关键软件-测试结果的量化。 303-310 莉莲·巴罗斯 , 塞尔索·M·平田 , 约翰尼·卡多佐(Johnny Cardoso Marques) , 安娜·玛丽亚·安布罗西奥 :
生成测试用例以评估和改进安全关键系统开发过程。 311-318 阿尔贝托·阿弗里策 , 多梅尼科·科特罗尼奥 , Yennun Huang(黄燕云) , 基索尔·斯特里维迪 :
第1章:软件老化与复兴:起源-扩展摘要。 319-320 瓦西里斯·库特拉斯 , 阿加皮奥斯·普拉蒂斯 :
第3章:软件复兴:关键概念和粒度。 321-322 哈维·阿隆索 , Kalyan Vaidyanathan公司 , 罗伯托·皮特兰托诺 :
SAR手册章节:基于测量的老化分析。 323-324 福米奥·马奇达 , 保罗·马西尔 :
软件复兴系统的马尔可夫链和Petri网。 325-326 阿尔贝托·阿弗里策 , 迈克尔·格罗特克 , 丹尼尔·萨多克·梅纳西 :
第8章:用于评估高可用性系统的软件老化监测和恢复-扩展摘要。 327 铃木启太 , 久保田(Takafumi Kubota) , 河野贤治 :
在Linux内核中使用错误代码分析检测与结构成员相关的内存泄漏。 329-335 郑俊君 , 冈村博彦 , Tadashi Dohi公司 :
最佳软件复兴时机的鲁棒性如何? 336-341 Ermeson C.安德拉德 , 福米奥·马奇达 , 罗伯托·皮特兰托诺 , 多梅尼科·科特罗尼奥 :
云和边缘图像分类系统中的软件老化。 342-348