第34届ISSRE 2023：意大利佛罗伦萨-研讨会
第34届IEEE软件可靠性工程国际研讨会，ISSRE 2023-研讨会，意大利佛罗伦萨，2023年10月9日至12日。 电气与电子工程师协会 2023 ，国际标准图书编号 979-8-3503-1956-9 亚伯拉罕·陈 以下为：
使用针对错误训练数据的集成构建弹性ML应用程序。 1-4 托马索·普切蒂 
以下为：
使用结构化数据算法早期检测未知攻击。 5-8 格尔穆罕默德（Golmohammadi） 以下为：
增强基于RESTful API的白盒搜索测试。 9-12 萨米拉·席尔瓦 以下为：
审查并提出现场自适应测试方法。 13-16 斯特凡·彼得雷斯库 以下为：
革新现代软件系统的日志分析。 17-21 卡明·塞萨拉诺 以下为：
雾计算系统的安全评估和强化。 22-25 克里斯蒂安·奥古斯托 以下为：
实现高效的端到端测试套件执行。 26-29 郝高 以下为：
面向以人为中心的软件复杂性度量：基于神经科学的方法。 30-33 翁国阳 , 阿图尔·安德泽亚克 以下为：
通过使用大型语言模型精心解决问题来自动修复错误。 34-36 西尔维娅·博诺米 , 斯特凡诺·卡帕伊 , 埃米利奥·科帕 以下为：
论智能合约分析工具的有效性。 37-38 马雷克·奥吉拉 , 乌尔苏拉·奥吉拉 以下为：
基于知识的权限门限方案中分离秘密的解锁方法。 39-40 马克·泽勒 , 托马斯·瓦舒尔齐克 , 马丁·罗斯菲尔德 , 康奈尔·克莱恩 以下为：
无人驾驶支线列车的安全保证——对安全的洞察。Train项目。 41至42 山崎由塔 , 尼古拉·费多罗夫 , Masateru Tsunoda公司 , 明仁天皇 , 阿姆杰德·塔希尔 , 克瓦贝娜·埃博·本宁 , 首席基金经理户田宏治 , 中崎惠太郎 以下为：
考虑缺陷忽略的在线学习软件缺陷预测。 43-44 刘和珍 , 嘉诚尹 , 黄成强 , 郝兰 , 织金 , 郑正 , 张勋 以下为：
基于UML序列图的故障注入和形式化验证框架。 45-50 费泽·西瓦什 , 霍拉西奥·霍约斯·罗德里格斯 , 维拉·潘特利克 , 马克·劳福德 , 理查德·佩奇 , 莫妮卡·贾斯科尔卡 , 侯冠瑞 , 亚历山德罗·维德 以下为：
使用模型转换缩小系统架构和软件设计之间的差距。 51-56 阿明·法赫雷雷丁 , 穆罕默德·祖尔克宁 , 丹·默多克 以下为：
CBTCset：检测CBTC网络中不当行为攻击的参考数据集。 57-62 恩于玉 , Hui Dong（惠东） , 任玉祥 , 民治岩 , 张雪苍 , 易阳 , 乐悦 , 黄正斌 以下为：
HRCA：基于异构图的自适应根本原因分析框架。 63-68 于婷婷 , 贾春鹏 , 陈锐（Rui Chen） , 李超（音） , 王伯祥 , 姜云松 以下为：
中断驱动嵌入式软件的精确动态数据竞争预测。 69-74 安力士Courbis , 法里德·阿菲 , 托马斯·兰博莱 , 弗朗索瓦·布金 , 莫里斯·海奥 以下为：
慢性呼吸道疾病远程康复系统的半形式和形式规范：方法和反馈。 75-80 萨那·西迪基 , 拉文德拉·梅塔 , 库马尔·马杜卡尔 以下为：
面向多语言静态代码分析。 81-82 王仁智 , 王志杰 , 黄玉恒 , 雷马 以下为：
模拟器遇到自然偏差时：基于仿真的ADS测试中偏差的研究。 83-88 吕一笑 , 贾其寅 , Sini Chen先生 , 朱慧彪 以下为：
使用CSP的Android系统中ICC机制的形式化和验证。 89-95 努尔·阿尔格布里 , 阿提拉·克莱尼克 , 伊姆雷·科希斯 以下为：
基于语义的复杂系统探索性数据分析的自动准备。 96-102 瓦塔鲁·扎马 , 肖肖 以下为：
基于神经网络的软件可靠性预测。 103-107 Yuto Kaibe公司 , 冈村博彦 , Tadashi Dohi公司 以下为：
基于自然语言处理模型预测源代码更改：实证评估。 108-111 穆米塔·达斯·普巴 , 阿皮塔·戈什 , 本杰明·雷德福德 , 比尔·朱 以下为：
使用大型语言模型的软件漏洞检测。 112-119 柯莉 , 盛宏 , 蔡富 , 张云和 , 刘明 以下为：
通过可分辨特征分析从ChatGPT生成的代码中区分人类创作的代码。 120-127 克里斯蒂娜·Improta 以下为：
未修复代码毒化程序：AI生成代码的安全问题。 128-131 西蒙娜·德维沃 , 彼得罗·利古奥里 以下为：
轻量级入侵检测系统评估的仿真环境。 132-135 伊凡·巴赫 , Oum-El-Kheir Aktouf村 , 穆罕默德·阿明·特比布 , 玛丽姆·格拉 , 帕斯卡·安德烈 , 伊夫·莱德鲁 以下为：
DroidSecTester：面向Android应用程序漏洞的上下文驱动建模和检测。 136-141 普拉奇·奇尼斯 , 阿巴亚·阿斯塔纳 以下为：
大海捞针：一种实时学习的实时日志异常检测算法。 142-147 拉斐尔·谢尔曼 , 托马斯·阿莫勒 , 菲利普·斯特泽尔 , 乔治·马赫 , 克里斯蒂安·斯特格 以下为：
自动化UAS的风险感知入侵检测和预防系统。 148-153 Kiyoshi Honda本田 , 桥本直弘 , Hironori Washizaki公司 , Fukazawa吉明 , Masahiro Taga公司 , 松崎明 , 中川一佑 , 酒井优介 以下为：
基于贝叶斯网络的组织目标变化对软件开发影响的分析。 154-159 弗朗西斯科·马里奥蒂 , 洛伦佐·马内蒂 , 保罗·洛里尼 以下为：
使用SAN和ADVISE对移动目标防御策略和攻击进行建模。 160-161 弗朗西斯科·马里奥蒂 , 保罗·洛里尼 , Fátima Mattiello-Francisco公司 以下为：
GOLDS卫星星座：基于模型的性能分析的准备工作。 162-163 洛伦佐·萨蒂 , 哈德森·马丁斯·席尔瓦·布鲁诺 , 托马索·普切蒂 , 埃丝特·科伦比尼 , 安德烈亚·塞卡雷利 以下为：
针对摄像机镜头故障的稳健视觉里程表系统。 164-165 艾琳·比奇埃雷 , 恩里科·阿兰蒂 , 萨拉·尼夫·马修·加西亚 , 胡安·弗朗西斯科·马丁内斯·吉尔 以下为：
在智能电网监测软件中验证BIECO安全评估方法。 166-173 王鹏（音译） , 徐庆阳 , 姚思云 , 吴向飞 , 张群力 , 吕瑞晨 , 刘世明 , 李亚敏 , 慧芳 , 郑虎 以下为：
一种用于GNSS-RTK和IMU系统和车辆设置的鲁棒在线外部校准方法。 174-179 文以芳 , 张浩（Hao Zhang） , 紫玉宫 , 曾隆斌 , 徐汇路 , 刘彪 , 吴晓宇 , 杨正 , 郑虎 , 张勋 以下为：
增强大型语言模型中训练可靠性的指标调查。 180-185 余晓蕾 , Kai Jia（凯佳） , 胡文华 , 景天 , 向建文 以下为：
使用日志分析和测试用例多样性对黑盒测试用例进行优先级排序。 186-191 刘世明 , 张群力 , 魏丽 , 姚思云 , 于成木 , 郑虎 以下为：
自动化车辆静态道路几何的运行时操作设计领域监测。 192-197 阿尔贝托·阿弗里策 , 安德烈亚·詹斯 , 安德烈亚·马林 , 安德烈·范·霍恩 , 马特奥·卡米利 , 卡蒂亚·特鲁比亚尼 , 丹尼尔·梅纳西 以下为：
异构网络集群中老化和恢复弹性的评估。 198-205 谢文之 , 陈章 , 贾凯 , 赵东东 , 周俊伟 , 景天 , 向建文 以下为：
基于特征转移和类不平衡学习的跨项目Aging-Related Bug预测。 206-213 田云哲 , 李一科 , 康晨 , Endong Tong公司 , 文家牛 , 刘继强 , 秦方云 , 郑正 以下为：
通过Spiking神经网络中受大脑启发的正则化，缓解基于深度学习的老化相关错误预测的过度拟合。 214-221 道格拉斯·迪亚斯 , 机械田文雄 , Ermeson C.安德拉德 以下为：
测试框架中的软件老化分析。 222-229
