ICSE 2024

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, ICSE 2024, Lisbon, Portugal, April 14-20, 2024.
第46届IEEE/ACM软件工程国际会议论文集,2024年4月14日至20日,葡萄牙里斯本。

1 Domain Knowledge Matters: Improving Prompts with Fix Templates for Repairing Python Type Errors.
领域知识的重要性:使用修复模板改进修复Python类型错误的提示。

2 Practical Program Repair via Preference-based Ensemble Strategy.
基于偏好的集成策略的实用程序修复。

3 Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data.
从模糊测试数据学习和修复深度强化学习策略。

4 BinAug: Enhancing Binary Similarity Analysis with Low-Cost Input Repairing.
BinAug:通过低成本输入修复增强二进制相似性分析。

5 VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks.
VeRe:用于修复深度神经网络的验证引导合成。

6 RUNNER: Responsible UNfair NEuron Repair for Enhancing Deep Neural Network Fairness.
RUNNER:负责任的不公平神经元修复以提高深度神经网络的公平性。

7 ITER: Iterative Neural Repair for Multi-Location Patches.
ITER:多位置修补的迭代神经修复。

8 EGFE: End-to-end Grouping of Fragmented Elements in UI Designs with Multimodal Learning.
EGFE:使用多模态学习的UI设计中碎片化元素的端到端分组。

9 A Comprehensive Study of Learning-based Android Malware Detectors under Challenging Environments.
在挑战性环境下基于学习的Android恶意软件检测器的综合研究。

10 Toward Automatically Completing GitHub Workflows.
自动完成GitHub工作流的研究。

11 UniLog: Automatic Logging via LLM and In-Context Learning.
UniLog:通过LLM和上下文学习自动记录日志。

12 Predicting Performance and Accuracy of Mixed-Precision Programs for Precision Tuning.
预测混合精度程序的性能和准确性以进行精度调整。

13 Dataflow Analysis-Inspired Deep Learning for Efficient Vulnerability Detection.
受数据流分析启发的深度学习,用于高效的漏洞检测。

14 Large Language Models for Test-Free Fault Localization.
大型语言模型用于无需测试的故障定位。

15 CrashTranslator: Automatically Reproducing Mobile Application Crashes Directly from Stack Trace.
CrashTranslator:直接从堆栈跟踪自动复现移动应用程序崩溃。

16 Reorder Pointer Flow in Sound Concurrency Bug Prediction.
在声音并发错误预测中重新排序指针流。

17 Object Graph Programming.
对象图编程。

18 Semantic Analysis of Macro Usage for Portability.
宏使用的语义分析以实现可移植性。

19 NuzzleBug: Debugging Block-Based Programs in Scratch.
NuzzleBug:在Scratch中调试基于块的程序。

20 LogShrink: Effective Log Compression by Leveraging Commonality and Variability of Log Data.
LogShrink:通过利用日志数据的共性和可变性实现有效的日志压缩。

21 Demystifying Compiler Unstable Feature Usage and Impacts in the Rust Ecosystem.
揭秘Rust生态系统中编译器不稳定特性的使用和影响。

22 Resource Usage and Optimization Opportunities in Workflows of GitHub Actions.
GitHub Actions工作流中的资源使用和优化机会。

23 Revealing Hidden Threats: An Empirical Study of Library Misuse in Smart Contracts.
揭示隐藏威胁:智能合约中库滥用的实证研究。

24 Fine-SE: Integrating Semantic Features and Expert Features for Software Effort Estimation.
Fine-SE:整合语义特征和专家特征进行软件工作量估计。

25 Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications.
用于非良好分离GR(1)规范的友好控制器和快速启发式方法。

26 It's Not a Feature, It's a Bug: Fault-Tolerant Model Mining from Noisy Data.
这不是一个特性,这是一个错误:从噪声数据中挖掘容错模型。

27 Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning.
通过自动条件独立推理启用因果发现算法的运行时验证。

28 Modularizing while Training: A New Paradigm for Modularizing DNN Models.
训练时模块化:模块化DNN模型的新范式。

29 KnowLog: Knowledge Enhanced Pre-trained Language Model for Log Understanding.
KnowLog:知识增强的预训练语言模型,用于日志理解。

30 FAIR: Flow Type-Aware Pre-Training of Compiler Intermediate Representations.
FAIR:流类型感知的编译器中间表示预训练。

31 Exploring the Potential of ChatGPT in Automated Code Refinement: An Empirical Study.
探索ChatGPT在自动代码优化中的潜力:一项实证研究。

32 Deep Learning or Classical Machine Learning? An Empirical Study on Log-Based Anomaly Detection.
深度学习还是经典机器学习?基于日志的异常检测的实证研究。

33 TRACED: Execution-aware Pre-training for Source Code.
TRACED:执行感知的源代码预训练。

34 CoderEval: A Benchmark of Pragmatic Code Generation with Generative Pre-trained Models.
CoderEval:使用生成式预训练模型的实用代码生成基准。

35 Inferring Data Preconditions from Deep Learning Models for Trustworthy Prediction in Deployment.
从深度学习模型中推断数据前提条件,以便在部署中进行可信预测。

36 Large Language Models are Few-Shot Summarizers: Multi-Intent Comment Generation via In-Context Learning.
大型语言模型是少数镜头的总结器:通过上下文学习生成多意图评论。

37 On Using GUI Interaction Data to Improve Text Retrieval-based Bug Localization.
使用GUI交互数据改进基于文本检索的错误定位。

38 DEMISTIFY: Identifying On-device Machine Learning Models Stealing and Reuse Vulnerabilities in Mobile Apps.
DEMISTIFY:识别移动应用中设备上机器学习模型的窃取和重用漏洞。

39 How do Developers Talk about GitHub Actions? Evidence from Online Software Development Community.
开发人员如何讨论GitHub Actions?来自在线软件开发社区的证据。

40 Block-based Programming for Two-Armed Robots: A Comparative Study.
双臂机器人的基于块的编程:一项比较研究。

41 BOMs Away! Inside the Minds of Stakeholders: A Comprehensive Study of Bills of Materials for Software Systems.
BOMs Away!了解利益相关者的想法:软件系统材料清单的综合研究。

42 EDEFuzz: A Web API Fuzzer for Excessive Data Exposures.
EDEFuzz:一个用于过度数据暴露的Web API模糊测试工具。

43 Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Query Transformation.
通过注入和满射图查询转换检测图数据库管理系统中的逻辑错误。

44 Do Automatic Test Generation Tools Generate Flaky Tests?
自动测试生成工具是否生成不稳定的测试?

45 ECFuzz: Effective Configuration Fuzzing for Large-Scale Systems.
ECFuzz:大规模系统的有效配置模糊测试。

46 Improving Testing Behavior by Gamifying IntelliJ.
通过游戏化IntelliJ改善测试行为。

47 SCTrans: Constructing a Large Public Scenario Dataset for Simulation Testing of Autonomous Driving Systems.
SCTrans:构建用于自动驾驶系统模拟测试的大型公共场景数据集。

48 Co-Creation in Fully Remote Software Teams.
完全远程软件团队的共创。

49 A Large-Scale Survey on the Usability of AI Programming Assistants: Successes and Challenges.
关于AI编程助手可用性的大规模调查:成功和挑战。

50 How to Support ML End-User Programmers through a Conversational Agent.
如何通过会话代理支持ML终端用户程序员。

51 Unveiling the Life Cycle of User Feedback: Best Practices from Software Practitioners.
揭示用户反馈的生命周期:软件实践者的最佳实践。

52 Novelty Begets Popularity, But Curbs Participation - A Macroscopic View of the Python Open-Source Ecosystem.
新奇产生了流行,但限制了参与 - Python开源生态系统的宏观视图。

53 Characterizing Software Maintenance Meetings: Information Shared, Discussion Outcomes, and Information Captured.
特征化软件维护会议:共享的信息、讨论结果和捕获的信息。

54 Predicting open source contributor turnover from value-related discussions: An analysis of GitHub issues.
从价值相关讨论预测开源贡献者流失:GitHub问题的分析。

55 On the Helpfulness of Answering Developer Questions on Discord with Similar Conversations and Posts from the Past.
回答Discord上开发人员问题的有用性,以及与过去相似的对话和帖子。

56 Marco: A Stochastic Asynchronous Concolic Explorer.
Marco:一个随机异步的混合测试探索器。

57 Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?
智能合约和DeFi安全工具:它们是否满足实践者的需求?

58 DocFlow: Extracting Taint Specifications from Software Documentation.
DocFlow:从软件文档中提取污点规范。

59 Toward Improved Deep Learning-based Vulnerability Detection.
朝着改进的基于深度学习的漏洞检测前进。

60 Attention! Your Copied Data is Under Monitoring: A Systematic Study of Clipboard Usage in Android Apps.
注意!您复制的数据正在被监控:Android应用中剪贴板使用的系统研究。

61 PonziGuard: Detecting Ponzi Schemes on Ethereum with Contract Runtime Behavior Graph (CRBG).
PonziGuard:使用合约运行时行为图(CRBG)检测以太坊上的庞氏骗局。

62 FuzzSlice: Pruning False Positives in Static Analysis Warnings through Function-Level Fuzzing.
FuzzSlice:通过函数级模糊测试修剪静态分析警告中的假阳性。

63 LibvDiff: Library Version Difference Guided OSS Version Identification in Binaries.
LibvDiff:在二进制文件中引导OSS版本识别的库版本差异。

64 Prompting Is All You Need: Automated Android Bug Replay with Large Language Models.
只需提示:使用大型语言模型自动重放Android错误。

65 Towards Reliable AI: Adequacy Metrics for Ensuring the Quality of System-level Testing of Autonomous Vehicles.
走向可靠的AI:确保自动驾驶车辆系统级测试质量的充分性指标。

66 Learning-based Widget Matching for Migrating GUI Test Cases.
基于学习的小部件匹配,用于迁移GUI测试用例。

67 Large Language Models are Edge-Case Generators: Crafting Unusual Programs for Fuzzing Deep Learning Libraries.
大型语言模型是边缘案例生成器:为模糊测试深度学习库制作不寻常的程序。

68 Deeply Reinforcing Android GUI Testing with Deep Reinforcement Learning.
使用深度强化学习深度加强Android GUI测试。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/748982.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

网络原理(1)——UDP协议

目录 一、应用层 举个例子:点外卖 约定数据格式简单粗暴的例子 客户端和服务器的交互: 序列化和返序列化 xml、json、protobuffer 1、xml 2、json 3、protobuffer 二、传输层 端口 端口号范围划分 认识知名的端口号 三、UDP协议 端口 U…

数据结构之顺序表(包学包会版)

目录 1.线性表 2.顺序表 2.1概念及结构 2.2接口实现 3.总结 halo,又和大家见面了,今天要给大家分享的是顺序表的知识,跟着我的脚步,包学包会哦~ 规矩不乱,先赞后看! ps:(孙权…

【MMDetection3D实战5】Dataset 和 model配置文件解析

文章目录 1. Dataset 配置文件解析1. 1 定义全局变量1. 1 数据处理pipeline(1) train_pipeline(2) test_pipeline(3) eval_pipeline1. 2 data 字典的定义2. model 配置文件解析2. 1 体素化voxel_layer2. 2 voxel_encoder2. 3 middle_encoder2. 4 2D 检测网络(backbone + neck …

详解(实现)堆的接口函数

文章目录 堆堆的顺序存储 准备工作创建头文件Heap.h创建源文件Heap.c头文件的包含定义保存堆数据的结构体 初始化销毁堆插入数据向上调整算法图解算法代码 删除堆顶向下调整算法图解代码 取出堆顶数据求堆的数据个数判断堆是否为空全部代码Heap.hHeap.c 再了解堆之前我们先要了…

AI毕业论文降重GPTS,避免AI检测,高效完成论文

视频演示 AI毕业论文降重GPTS,避免AI检测,高效完成论文! 开发目的 “毕业论文降重”GPTS应用,作用为:重新表述学术论文,降低相似性评分,避免AI检测。 使用地址 地址:毕业论文降重…

unraid docker.img扩容

unraid 弹Docker image disk utilization of 99%,容器下载/更新失败 我的版本是6.11.5,docker.img满了导致容器不能更新,遇到同样问题的可以先用docker命令清除一下仓库(当然不一定能清理出来,我已经清理过只清理出来1G多点&…

【四 (3)数据可视化之 Seaborn 常用图表及代码实现 】

目录 文章导航一、介绍二、安装Seaborn三、导入Seaborn四、设置可以中文显示五、占比类图表1、饼图2、环形图 六、比较排序类1、条形图2、箱线图3、小提琴图 七、趋势类图表1、折线图 八、频率分布类1、直方图 九、关系类图表1、散点图2、成对关系图3、热力图 文章导航 【一 简…

vue3后台管理系统权限路由的实现

最近做管理系统的时候,需要实现不同用户登陆所展示的菜单不同,查了不少帖子,总结下实现的步骤: 1.在router/index.js的代码: import { createRouter, createWebHistory,createWebHashHistory } from vue-router impo…

基于SpringBoot+Vue交流和分享平台的设计与实现(源码+部署说明+演示视频+源码介绍)

您好,我是码农飞哥(wei158556),感谢您阅读本文,欢迎一键三连哦。💪🏻 1. Python基础专栏,基础知识一网打尽,9.9元买不了吃亏,买不了上当。 Python从入门到精通…

Apache zookeeper kafka 开启SASL安全认证

背景:我之前安装的kafka没有开启安全鉴权,在没有任何凭证的情况下都可以访问kafka。搜了一圈资料,发现有关于sasl、acl相关的,准备试试。 简介 Kafka是一个高吞吐量、分布式的发布-订阅消息系统。Kafka核心模块使用Scala语言开发…

【人工智能入门必看的最全Python编程实战(5)】

--------------------------------------------------------------------- 1.AIGC未来发展前景 未完持续… 1.1 人工智能相关科研重要性 拥有一篇人工智能科研论文及专利软著竞赛是保研考研留学深造以及找工作的关键门票!!! 拥有一篇人工…

数据结构 第5章 树与二叉树(一轮习题总结)

数据结构 第5章 树与二叉树 5.1 树的基本概念5.2 二叉树的概念5.3 二叉树的遍历和线索二叉树5.4 树、森林5.5 树与二叉树的应用 5.1 树的基本概念(3 4 7) 5.2 二叉树的概念(2 14 19 22) 5.3 二叉树的遍历和线索二叉树 5.4 树、森林…

AIDD简介——分类和回归任务

🌞欢迎来到AI生物医药的世界 🌈博客主页:卿云阁 💌欢迎关注🎉点赞👍收藏⭐️留言📝 🌟本文由卿云阁原创! 🌠本阶段属于练气阶段,希望各位仙友顺利…

《ARM汇编与逆向工程 蓝狐卷 基础知识》

大家好,我是爱编程的喵喵。双985硕士毕业,现担任全栈工程师一职,热衷于将数据思维应用到工作与生活中。从事机器学习以及相关的前后端开发工作。曾在阿里云、科大讯飞、CCF等比赛获得多次Top名次。现为CSDN博客专家、人工智能领域优质创作者。…

【JS】优化代码分支

判断条件很多时,会降低代码的可读性,例如下面这段代码 function fn(type){if(type 1){console.log(待把相思灯下诉)}else if(type 2){console.log(一缕新欢)}else if(type 3){console.log(旧恨千千缕)}else if(type 4){console.log(最是人间留不住)…

Ubuntu20下C/C++编程开启TCP KeepAlive

1、在linux下,测试tcp保活,可以使用tcp自带keepalive功能。 2、几个重要参数: tcp_keepalive_time:对端在指定时间内没有数据传输,则向对端发送一个keepalive packet,单位:秒 tcp_keep…

拌合楼内部管理系统开发(一)立个flag,开始做准备

前言:项目背景情况介绍 公司有意开发一套适合拌合楼的内部管理系统给到客户使用,接触过一家拌合楼行业内号称标杆的企业,去过参观学习的都觉得他们软件好用,但是从软件开发角度看,就是crud钉钉机器人无人值守。虽然公司…

Python语法糖

N u m P y NumPy NumPy的 n d i t e r nditer nditer nditer 是 NumPy 提供的一种多维迭代器,用于对多维数组进行迭代操作。它可以替代传统的嵌套循环,在处理多维数组时更加方便和高效。 迭代器可以按照不同的顺序遍历数组的元素,也可以控制…

npm install和npm install --save的区别

1、npm install XX 会把XX包安装到 node modules 目录中; 不会修改 package.json; 之后运行 npm instal1 命令时,不会自动安装XX; 2、npm install --save XX 会把XX包安装到 node_modules 目录中: 会在 package.json 的 dependencies 属性下添加XX; 之后运行…