2023年QRS第23版: 泰国清迈——伴侣
第23届IEEE软件质量、可靠性和安全国际会议,QRS 2023 Companion,泰国清迈,2023年10月22-26日。 电气与电子工程师协会 2023 ,国际标准图书编号 979-8-3503-5939-8 W.Eric Wong , 谢霆锋 , 苏帕米特·奇塔亚索恩 , 何江 :
主席致辞QRS 2023。 xx-xxi 黄培山 , 洪伟江 , 陈振邦 , Ji Wang(音译) :
基于CSP的行为树形式化建模与验证。 1-2 彭晨欣 , 亚潘 , 白汉丽 :
深伪检测模型的变形测试。 1-8 王建红 , 石本裕塔 , Masanari近藤 , 龟井静香 , Naoyasu Ubayashi先生 :
鲁棒对象检测模型的不确定感知变形测试。 9-17 Yuqi Hang公司 , 陈柳 , 胡丽发 , 欣怡高 :
深层神经网络的需求驱动逻辑测试。 18-24 袁元龙 , Yong Fan(范勇) , 亚潘 :
交通标志检测和识别的变形测试。 25-34 阿齐姆·艾哈迈德 , 弗朗西斯科·戈梅斯·德·奥利维拉·内托 , 爱德华·保罗·伊诺乌 , 克里斯蒂安·桑达尔 , 奥拉·雷夫勒 :
工业研究中测试优先化方法的比较评估。 35-44 刘静(音译) , 王子建 :
基于MOEA/D的最优二阶突变体约简。 45-54 瑞苏(Rui Su) , 张志毅 , 周玉谦 , 姚永明 :
通过符号执行进行突变测试的测试生成。 55-61 桑哈拉塔纳·戈博利 , 莫妮卡·拉尼·戈拉 , P.拉德哈·克里希纳 :
SC-MCC:一个更强大的代码覆盖标准。 62-71 高磊毅 , 陈子钊 , 陈振宇 , W.Eric Wong , 尼古拉斯·周 :
探讨ChatGPT在测试生成中的能力。 72-80 滕俊元 , 余婷婷 , 陈锐(Rui Chen) , 高东东 , 贾春鹏 :
DeepHC:深度神经网络高效生成高覆盖率测试。 81-82 张文静 , 李勇 , 明文 , 何瑞琪 :
实时软件缺陷预测中集成学习方法的比较研究。 83-92 王悦(Yue Wang) , 李勇 , 袁元任 , 于俊杰 :
利用主动深度学习增强跨项目实时缺陷预测。 93-102 冯秋 , 普吉 , 华宝健 , 杨旺(Yang Wang) :
CHEMFUZZ:用于量子化学软件错误检测的大型语言模型辅助模糊。 103-112 李秋英 , 温玉林 , 梓潼岩 , 曾福平(Fuping Zeng) :
METCN:用于软件故障检测和纠正预测的多任务增强TCN模型。 113-121 Vo Dai Trinh先生 , 尤里·西村 , 于海波 :
开发用于检测概率程序中错误的Web系统。 122-130 童湾 , 陆璐 , 郝旭 , 邹全一 :
通过具有路径表示的Doc2vec进行软件漏洞检测。 131-139 祁阳 , 张慧(音) , 王宣正 :
基于二进制中间切片的软件漏洞检测。 140-147 桑哈拉塔纳·戈博利 , Shubhank Kulshreshtha公司 , 普拉安舒·阿加瓦尔 , B.拉尼尔巴拉 :
PRCMHFL:一种基于谓词排序和CMH方法的故障定位技术。 148-156 弗拉迪斯拉夫·杜布罗文斯基 , Nazmul Karim先生 , 陈二卓 , 徐殿翔 :
具有行政义务的动态访问控制:一个案例研究。 157-166 杨旭 , 卓泰晨 :
基于结构化API调用序列的恶意软件家族图分类。 167-175 帕维尔·多夫加柳克 , 玛丽亚·克里姆申科娃 , 纳塔莉亚·弗索娃 , 瓦西列夫 , 弗拉迪斯拉夫·斯特帕诺夫 :
Natch:使用混合内省检测多服务系统的攻击面。 176-185 昆汀·鲁兰德 , Stojanche Gjorcheski公司 , 杰森·贾斯科尔卡 :
使用可重用形式模型的安全兼容设计框架。 186-195 亚瑟·格里塞尔·戴维 , 塞巴斯蒂安·费奇梅斯特 :
使用侧通道功耗分析进行独立引导过程验证。 196-207 佐佐木良一 :
人工智能与安全——生成性人工智能的变化。 208-215 沈继云 , 王悦(Yue Wang) , 吴庆恒 , 袁钊(音) :
金融应用程序隐私政策合规性检查。 216-219 王天赐 , 李春旺 , 王春辉 , 童丽 , 叶寨 :
一种基于深度学习的识别用户故事语义冲突的方法。 220-229 坡川客 , 袁和孙廖 , 李寿玉 , 黄世云 , 威廉·程昌楚 :
智能数据收集和应用集成研究的面向服务框架。 230-236 刘江超 , 陈丽倩 , 安托万·米内 , 余恒彪 , Ji Wang(音译) :
基于局部稳健性检验的神经网络输入验证。 237-246 刘元欣 , 李瑞 , 玉溪马 , 薛云芝 , 蒙玲忠 :
FCA:一种基于因果推理的目标检测算法失败原因分析方法。 247-256 董炳晨 , 梁正林 :
通过非线性动力学的稀疏识别对氯离子侵蚀造成的随机劣化进行建模。 257-262 王宣 , 李廖 , 曹东雨 :
mpXim:基于多方发现协议的分散混合方案。 263-272 韩生路 , 徐泽川 :
改进MQTT通信加密模型的增强软件体系结构。 273-279 苗苗峰 , 魏米 , 张晓丹 , 陈宝健 , 黄明明 :
基于多类型特征和预训练技术的智能合约漏洞检测模型。 280-289 桑哈拉塔纳·戈博利 , P.拉德哈·克里希纳 , 阿迪蒂亚·乔希 , 伊希塔·古普塔 , 拉胡尔·卡塔夫 :
基于频率和气体消耗的智能合约测试用例优先级。 290-299 Sourena Khanzadeh公司 , 诺亚玛·法蒂玛·萨姆林 , 马纳尔·阿勒菲 :
优化以太坊智能合约中的天然气消耗:最佳实践和技术。 300-309 赵旭峰 , 秋阳卫 , 朱雪阳 , 张文辉 :
海上运输系统智能合同开发框架。 310-319 赵文谦 , 梅格娜·帕蒂班德拉 , 丁俊华 :
智能合约中确保隐私的方法。 320-329 尚志堂 , 陈宣 , 肖洪斌 , 贾浩伟 , 直隶 :
使用问题框架方法从自然语言需求中提取关键信息。 330-339 费米·贾法尔 , 达琳·阿梅耶德 , 拉文·提塔雷 , 内马图拉先生 :
使用混合NLP和机器学习模型的物联网网络钓鱼检测,通过上下文嵌入增强。 340-349 刘一洪 , 尹能峰 , 陈胜峰 :
在线社交社区帖子中的法律事件分类。 350-355 拉维·瓦尔马·库马尔·贝瓦拉 , 汀肖(Ting Xiao) , 法拉纳斯·侯赛尼 , 丁俊华 :
使用关联测试和提示工程进行语言模型中的偏差分析。 356-363 刘金润 , 汤新余 , 李林林 , 陈潘潘(Panpan Chen) , Yepang Liu公司 :
ChatGPT与堆栈溢出:编程辅助工具的探索性比较。 364-373 胡锐(Rui Hu) , 钟俊浩 , 丁敏杰 , 马泽瑜 , 陈明刚(Mingang Chen) :
大型语言模型的幻觉和鲁棒性评估。 374-382 泽明东 , 胡强 , 郭跃军 , 张振亚 , 赵建军 :
通过面向文本的数据增强促进源代码学习:一项实证研究。 383-392 耿明阳 , 德尊侗族 , 平靖路 :
跨语言代码检索的层次语义图构造和池方法。 393-402 耿明阳 , 德尊侗族 , 平靖路 :
基于预训练模型的跨语言代码搜索的输入转换。 403-412 孟武 , Weixin Dong公司 , 赵强(音) , 潘志忠 , 华宝健 :
轻量级JavaScript引擎的实证研究。 413-422 秦洪武 , 薛培明 , 马秀琴 , Bin Gao公司 :
基于用户评论情绪分析的IT社区代码质量评估。 423-429 李乐涛 , 李凯秋 , 双莉 , 王佳琪 , 朱华良 :
SmartPerf:从视觉角度进行自动速度性能测试。 430-436 张东文 , 王彤彤(Tongtong Wang) , 杨章 :
基于锁的程序的性能预测。 437-446 Bin Zhang(张斌) , 铃木千弘 , 詹晨 , Hun ok Lim公司 :
熊猫型情绪机器人的改进机构和情绪表达系统。 447-450 李香玉 , 张艺豪 , 小坤栾 , 薛晓勇 , 孟孙 :
MedTiny:可扩展并行算法的增强中介建模语言。 451-460 马哈茂德·阿布塞德 , 黄培树 , 王凤健 :
改进结构化工作流中并发工件异常的检测。 461-470 梁哲亨 , 张建明 , 沈武强 , 姚超生 , 王璐璐 :
ECIA:基于子语句级依赖图的详细变更影响分析。 471-480 Sanjaya Kumar熊猫 , 萨希尔·乔普拉 , 斯卢卡什雷·帕迪 :
基于太阳能的地理分布式数据中心虚拟机布局算法。 481-490 刘延明(Yanming Liu) , 张创创 , 李一浩 , 张顺宁 , 杨洪勇 :
多域网络中的依赖感知和延迟保证SFC布局。 491-498 伊尔马安·齐亚 , 穆罕默德·阿卜杜勒·巴西特·乌尔·拉希姆 , 刘泰然 , 张应河 :
工业机器人手臂的形式化建模与验证——案例研究。 499-508 夏春燕 , 宋晃(Song Huang) , 姚永明 , 郑昌佑 , 王宇通 :
基于多目标优化的自动驾驶安全违规场景生成。 509-515 佐佐木良一 :
重新考虑安全风险沟通和风险评估支持方法。 516-523 Waris Damkham公司 , Shingo Kunihiro公司 , 松蓬·提拉卡诺克 , Tetsutaro Uehara公司 :
检测Android应用程序中易受攻击的OAuth 2.0实现。 524-531 山口舒吉 , Hidehito Gomi先生 , 上原哲太郎 :
使用基于位置的动态问题增强帐户恢复。 532-539 柳木村 , 秋山秀美 , 猪下阿雄(Atsuo Inomata) , Tetsutaro Uehara公司 :
洋葱服务器指纹采集及其操作员身份识别。 540-548 佩拉科恩·尼米特库尔 , 高井明弘 , 山井良久 , 中川丽惠 , 松蓬·提拉卡诺克 :
降低IDS/SON协同防火墙系统阻塞时间的研究。 549-554 大川智树 , 吉村浩史 , 山口隆康 :
使用带有注意机制的特征提取的可解释的多模态假帖子检测。 555-563 Ryuga Kaneko公司 , 斋藤泰一 :
针对Azure虚拟机上浏览器的DNS重新绑定攻击。 564-571 安德鲁·布坎瓦 , Tetsutaro Uehara公司 :
一种基于代理的建模方法,用于设计和优化发展中国家网络安全的漏洞奖励程序。 572-581 何塞·多纳托 , 纳格梅·伊瓦基 , 努诺·安图内斯 :
Savery:移动开发工具评估和比较框架。 582-592 顾思琪 , 刘志彪 , 梁巧卿 , 邓志敏 , Xiaong Yu Xiao(向余晓) :
基于深度语义匹配的测试用例重用方法。 593-599 陈浩立(Haoli Chen) , 陈晓成 , 孙晓雷 , 郑奇瑞 , 葛秀婷 :
减少可操作警告标识的标签错误。 600-604 张波(音译) , 于莉 , 王一晨(Yichen Wang) :
基于贪婪算法的测试用例优先级排序方法。 605-613 张波(音译) , 李佳豪 , 泽玉凡 , 王一晨 :
一种考虑时序的软件测试输入空间建模方法。 614-621 张东元 , 川江余 , 徐世军 , 欣怡高 :
人工智能系统中图形神经网络的鲁棒性增强。 622-625 王玉敏(Yumin Wang) , 谢金浩 , 张文琪 , 袁瑶 , 杨刚(音译) :
基于新鲜度和目标密度的无人机群目标搜索策略改进算法研究。 626-632 陈新海 , 刘伟(音译) , 常饶 , 于章 , 杜婉玲 :
基于时间自动机的交叉口协同车辆基础设施系统建模与验证。 633-642 名符陀 , 赵小强 , 吴文良 , 博深 :
基于定理证明的CPS安全验证技术。 643-645 杨曹 , 董云伟 :
使用并发代码属性图建模和发现数据竞争。 646-653 谢晓明 , 徐金发 , 沈随园 , 魏曹 , 张贵刚 :
电动倾斜四旋翼无人机FCS设计技术研究。 654-661 万杰人 , 王国军 , 齐柳 , 夏丽 , 芮拓 :
傅里叶变换红外光谱仪的光谱拟合和峰值搜索。 662-667 奥斯卡名人达特 , 王国军 , 齐柳 , 刘晓东 , 阿梅维-阿卡波维 :
提高并网光伏系统性能:损失分析和效率改进策略。 668-674 刘银伟(音) :
色盲症的大脑颜色反应计算模型。 675-681 林邹 , 杨洪记 , 林锦涛 :
使用DIKCW模型分析说话人意图的创造性计算方法。 682-692 新余河 , 崔梦瑶 , 陈宇凡 , 刘龙飞 , 王邦超 :
基于认知图的智能答疑系统:以纺织品为例。 693-702 彭晔 , 欣怡兰 , 陈宇凡 , 王志鹏 , 魏晔 :
纺织品服装多模态认知图的构建研究。 703-712 资阳翁 , 王树浩 , 张静伟(Jingwei Zhang) :
隐藏顺序框架:从场景空间中基于证据的预测到图像制作过程中的即时学习。 713-723 资阳翁 , 王树浩 , 张静伟(Jingwei Zhang) :
人地耦合算法:基于复杂认知促进大遗址复兴的遥感数据先验实验。 724-732 罗瑞琪(Ruiqi Luo) , 李正龙 , 银华巷 , 王兆景 , 璐瑶叶 :
多模式语义交互学习的服装兼容性模型。 733-741 罗瑞琪(Ruiqi Luo) , 张文杰 , 李晓晓 , 王兆景 , 璐瑶叶 :
基于概念语义的视频异常事件主动检测方法研究。 742-751 红岩丸 , 赞王 , 止泉安 , 焦国焘 , 张新南 :
基于情感分析的高分类覆盖服装推荐系统的新框架。 752-758 邹志远 , 王志鹏 , 刘龙飞 , 长溪峰 , 王邦超 :
认知图赋能纺织服装智能服务平台。 759-768 小洞沟 , 彭周 , 杨海涛 , 郑昭明岳 , 奥张 :
从多尺度复杂网络的角度识别复杂系统中的影响节点。 769-774 郑昭明岳 , 魏成 , 小洞沟 , 王广元 :
基于压电变刚度驱动器的卫星柔性结构微振动控制研究。 775-781 香珠 , 王文才 , 芝芝仓 , 当雅光 , 赵东辉 :
基于CNN-LSTM和层次分析法的磨煤机动态综合风险评估。 782-788 周一静 , 吴梦丹 , 齐尧 , 段志宇 , 杨顺坤 :
基于模型融合策略的锂离子电池电压预测与故障检测。 789-796 王泽瑜 , 曾福平(Fuping Zeng) :
软件故障定位:文献综述。 797-806 李嘉豪 , 张波(音译) , 泽玉凡 , 王一晨(Yichen Wang) :
基于多种群遗传算法的EFSM回归测试数据生成。 807-815 穆罕默德·阿泽姆 , 赛义夫·乌尔·雷赫曼·汗 , 纳西姆·易卜拉欣 , 阿卜杜拉·尤萨夫扎伊 , 王文丽 , 阿西夫·卡里姆 :
一种基于区块链的分布式软件开发环境需求管理框架。 816-825 巴夫拉伊·辛格 , 穆罕默德·阿卜杜勒·巴西特·乌尔·拉希姆 , 沙希德·侯赛因 , 穆罕默德·里兹万·阿比德 , 赵杰(音译) :
AI医疗道德调查。 826-833 萨蒂亚姆·夏尔马 , 穆罕默德·阿卜杜勒·巴西特·乌尔·拉希姆 , 沙希德·侯赛因 , 穆罕默德·里兹万·阿比德 , 刘泰然 :
在安全关键系统中使用深度强化学习和形式验证:策略和挑战。 834-842 Man Zhang先生 , 肖卡特·阿里 , 陶月 :
基于遗传编程的不确定性模型进化。 843-844 赫萨马丁·穆罕默德 , 加尔达洛大区 , 以利亚砖 , 阿里·米利 :
假设()、捕获()、验证()、建立():用于静态程序分析的词汇。 845-846 李嘉豪 , 杨成如 , 王一晨(Yichen Wang) :
基于遗传算法的EFSM回归测试序列生成。 847-848 梁荪 , 白林路 , 梁泽贤 , 哲布 , 金文静(Wenjing Jin) :
基于有界模型检查的OpenMP程序验证。 849-850 谢妮珊(Nishan Xie) , 李瑞 , 玉溪马 , 钱栋 , 蒙玲忠 :
VPIA-FMEA:视觉感知智能算法FMEA的一种方法。 851-852 岳照 , 吴文良 , 周兴社 :
无人机在城市环境中搜索的有效性评估。 853-858 Bin Zhang(张斌) , 森喜朗(Ayumu Mori) , Hun-Ok Lim公司 :
清洁机器人的目标分类与抓取研究。 859-860 彭林 , 陈平(Ping Chen) , 尚经纬 , 邱巧春 , 黄志昌 :
从大量开源代码中挖掘无人系统中的潜在缺陷模式。 861-862 刘继刚 , 佐佐木良一 , Tetsutaro Uehara公司 :
基于本体的医疗物联网取证框架。 863-864 《易记》 , 莱恩·莱基维茨 , 西蒙·马克 , 约瑟夫·摩根 :
贝叶斯FLo:软件测试的贝叶斯故障定位。 865-866 郑文龙 , 华宝健 , 卓琴江 :
WASMDYPA:通过动态程序分析有效检测WebAssembly Bug。 867-868 雷霞 , 吴宇飞 , 华宝健 :
锈蚀检查:通过动态程序分析加强不安全锈蚀的安全性。 871-872 尤利娅·库马尔 , 李文晓 , 关黄 , 麦克·汤普森 , 布伦丹·汉农 :
自动股票交易的自然语言编码:无码/低码人工智能的新维度。 873-874 尤利娅·库马尔 , 扎卡里·戈登 , 帕特里夏·莫雷尔 , J.珍妮·李 , 布伦丹·汉农 :
爱你撒谎的方式:揭开LLM的骗局。 875-876 罗全坤 , 邓佳文 , 梁洛 :
优化边缘云系统中的媒体流:利用地理和用户行为。 877-878
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)