软件工程

最近提交的作者和标题

• 2025年07月25日， 星期五
• 2025年07月24日， 星期四
• 2025年07月23日， 星期三
• 2025年07月22日， 星期二
• 2025年07月21日， 星期一

查看今天的 新的 变化

2025年07月23日， 星期三 (继续， 展示 最后 22 之 2 条目 )

[63] arXiv:2507.16051 (交叉列表自 cs.PL) [中文pdf, pdf, html, 其他]

标题： RightTyper：Python的有效且高效的类型注释 显示英文标题

标题： RightTyper: Effective and Efficient Type Annotation for Python

Juan Altmayer Pizzorno, Emery D. Berger

主题： 编程语言 (cs.PL) ; 软件工程 (cs.SE)

[64] arXiv:2507.15984 (交叉列表自 cs.CR) [中文pdf, pdf, html, 其他]

标题： BACFuzz：揭示Web应用程序中受损访问控制漏洞的沉默 显示英文标题

标题： BACFuzz: Exposing the Silence on Broken Access Control Vulnerabilities in Web Applications

I Putu Arya Dharmaadi, Mohannad Alhanahnah, Van-Thuan Pham, Fadi Mohsen, Fatih Turkmen

评论： 正在同行评审中

主题： 密码学与安全 (cs.CR) ; 软件工程 (cs.SE)

2025年07月22日， 星期二 (展示 40 之 40 条目 )

[65] arXiv:2507.15831 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： 观察开发过程中Jupyter笔记本中的细粒度变化 显示英文标题

标题： Observing Fine-Grained Changes in Jupyter Notebooks During Development Time

Sergey Titov, Konstantin Grotov, Cristina Sarasua, Yaroslav Golubev, Dhivyabharathi Ramasamy, Alberto Bacchelli, Abraham Bernstein, Timofey Bryksin

评论： 32页，6图

主题： 软件工程 (cs.SE)

[66] arXiv:2507.15828 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： 调查在软件工程中使用大语言模型生成证据简报的用途 显示英文标题

标题： Investigating the Use of LLMs for Evidence Briefings Generation in Software Engineering

Mauro Marcelino, Marcos Alves, Bianca Trinkenreich, Bruno Cartaxo, Sérgio Soares, Simone D.J. Barbosa, Marcos Kalinowski

评论： ESEM 2025 注册报告与 IPA（原则上接受）用于实证软件工程期刊

主题： 软件工程 (cs.SE)

[67] arXiv:2507.15822 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： AI模型有助于生成经过验证的错误修复吗？ 显示英文标题

标题： Do AI models help produce verified bug fixes?

Li Huang, Ilgiz Mustafin, Marco Piccioni, Alessandro Schena, Reto Weber, Bertrand Meyer

主题： 软件工程 (cs.SE) ; 人工智能 (cs.AI)

[68] arXiv:2507.15671 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： BugScope：学会像人类一样查找错误 显示英文标题

标题： BugScope: Learn to Find Bugs Like Human

Jinyao Guo, Chengpeng Wang, Dominic Deluca, Jinjie Liu, Zhuo Zhang, Xiangyu Zhang

评论： 19页，2图，6表，4个列表

主题： 软件工程 (cs.SE)

[69] arXiv:2507.15666 (交叉列表自 cs.SE) [中文pdf, pdf, 其他]

标题： 建模立方体卫星存储电池放电：等效电路方法与机器学习方法 显示英文标题

标题： Modeling CubeSat Storage Battery Discharge: Equivalent Circuit Versus Machine Learning Approaches

Igor Turkin, Lina Volobuieva, Andriy Chukhray, Oleksandr Liubimov

评论： 13页，15图

期刊参考： 无线电电子与计算机系统，2025

主题： 软件工程 (cs.SE)

[70] arXiv:2507.15663 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： SustainDiffusion：优化稳定扩散模型的社会和环境可持续性 显示英文标题

标题： SustainDiffusion: Optimising the Social and Environmental Sustainability of Stable Diffusion Models

Giordano d'Aloisio, Tosin Fadahunsi, Jay Choy, Rebecca Moussa, Federica Sarro

主题： 软件工程 (cs.SE) ; 人工智能 (cs.AI)

[71] arXiv:2507.15624 (交叉列表自 cs.SE) [中文pdf, pdf, 其他]

标题： 热门话题和常见挑战：对Stack Overflow上React讨论的实证研究 显示英文标题

标题： Hot Topics and Common Challenges: an Empirical Study of React Discussions on Stack Overflow

Yusuf Sulistyo Nugroho, Ganno Tribuana Kurniaji, Syful Islam, Mohammed Humayun Kabir, Vanesya Aura Ardity, Md. Kamal Uddin

评论： 6页，4图，4表，会议论文

主题： 软件工程 (cs.SE)

[72] arXiv:2507.15599 (交叉列表自 cs.SE) [中文pdf, pdf, 其他]

标题： 应用中国墙逆向工程技术进行大型语言模型代码编辑 显示英文标题

标题： Applying the Chinese Wall Reverse Engineering Technique to Large Language Model Code Editing

Manatsawin Hanmongkolchai

主题： 软件工程 (cs.SE) ; 机器学习 (cs.LG)

[73] arXiv:2507.15343 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： StackTrans：从大型语言模型到大型下推自动机模型 显示英文标题

标题： StackTrans: From Large Language Model to Large Pushdown Automata Model

Kechi Zhang, Ge Li, Jia Li, Huangzhao Zhang, Yihong Dong, Jia Li, Jingjing Xu, Zhi Jin

评论： 正在开发中

主题： 软件工程 (cs.SE) ; 人工智能 (cs.AI)

[74] arXiv:2507.15296 (交叉列表自 cs.SE) [中文pdf, pdf, 其他]

标题： 工具链中的蝴蝶效应：对LLM工具代理系统中失败参数填充的全面分析 显示英文标题

标题： Butterfly Effects in Toolchains: A Comprehensive Analysis of Failed Parameter Filling in LLM Tool-Agent Systems

Qian Xiong, Yuekai Huang, Ziyou Jiang, Zhiyuan Chang, Yujia Zheng, Tianhao Li, Mingyang Li

主题： 软件工程 (cs.SE) ; 人工智能 (cs.AI)

[75] arXiv:2507.15251 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： 输入简化增强的基于大语言模型的程序修复 显示英文标题

标题： Input Reduction Enhanced LLM-based Program Repair

Boyang Yang, Luyao Ren, Xin Yin, Jiadong Ren, Haoye Tian, Shunfu Jin

主题： 软件工程 (cs.SE)

[76] arXiv:2507.15241 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： 漏洞链：使用LLM代理的自动漏洞证明生成 显示英文标题

标题： FaultLine: Automated Proof-of-Vulnerability Generation Using LLM Agents

Vikram Nitin, Baishakhi Ray, Roshanak Zilouchian Moghaddam

主题： 软件工程 (cs.SE)

[77] arXiv:2507.15226 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： 通过一种受AlphaFold启发的框架进行代码克隆检测 显示英文标题

标题： Code Clone Detection via an AlphaFold-Inspired Framework

Changguo Jia, Yi Zhan, Tianqi Zhao, Hengzhi Ye, Minghui Zhou

主题： 软件工程 (cs.SE)

[78] arXiv:2507.15224 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： SimdBench：针对SIMD内联代码生成的大型语言模型基准测试 显示英文标题

标题： SimdBench: Benchmarking Large Language Models for SIMD-Intrinsic Code Generation

Yibo He, Shuoran Zhao, Jiaming Huang, Yingjie Fu, Hao Yu, Cunjian Huang, Tao Xie

主题： 软件工程 (cs.SE) ; 人工智能 (cs.AI)

[79] arXiv:2507.15197 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： 近年来在需求工程中使用角色扮演：有哪些变化？ 显示英文标题

标题： Towards Using Personas in Requirements Engineering: What Has Been Changed Recently?

Chowdhury Shahriar Muzammel, Maria Spichkova, James Harland

主题： 软件工程 (cs.SE) ; 人机交互 (cs.HC)

[80] arXiv:2507.15188 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： 文化对需求工程活动的影响：孟加拉国从业者的观点 显示英文标题

标题： Cultural Impact on Requirements Engineering Activities: Bangladeshi Practitioners' View

Chowdhury Shahriar Muzammel, Maria Spichkova, James Harland

主题： 软件工程 (cs.SE) ; 人机交互 (cs.HC)

[81] arXiv:2507.15181 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： 基于多模型测量的启发式指导深度学习框架测试 显示英文标题

标题： Deep Learning Framework Testing via Heuristic Guidance Based on Multiple Model Measurements

Yinglong Zou, Juan Zhai, Chunrong Fang, Yanzhou Mu, Jiawei Liu, Zhenyu Chen

主题： 软件工程 (cs.SE)

[82] arXiv:2507.15157 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： LLMs能否生成用户故事并评估其质量？ 显示英文标题

标题： Can LLMs Generate User Stories and Assess Their Quality?

Giovanni Quattrocchi, Liliana Pasquale, Paola Spoletini, Luciano Baresi

主题： 软件工程 (cs.SE) ; 人工智能 (cs.AI)

[83] arXiv:2507.15025 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： 面向汽车软件开发的生成式人工智能综述：从需求到可执行代码 显示英文标题

标题： Survey of GenAI for Automotive Software Development: From Requirements to Executable Code

Nenad Petrovic, Vahid Zolfaghari, Andre Schamschurko, Sven Kirchner, Fengjunjie Pan, Chengdng Wu, Nils Purschke, Aleksei Velsh, Krzysztof Lebioda, Yinglei Song, Yi Zhang, Lukasz Mazur, Alois Knoll

评论： 会议论文被接受用于GACLM 2025

主题： 软件工程 (cs.SE) ; 人工智能 (cs.AI)

[84] arXiv:2507.15003 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： 软件工程（SE）3.0中AI队友的崛起：自主编码代理如何重塑软件工程 显示英文标题

标题： The Rise of AI Teammates in Software Engineering (SE) 3.0: How Autonomous Coding Agents Are Reshaping Software Engineering

Hao Li, Haoxiang Zhang, Ahmed E. Hassan

主题： 软件工程 (cs.SE) ; 人工智能 (cs.AI) ; 计算工程、金融与科学 (cs.CE) ; 机器学习 (cs.LG)

[85] arXiv:2507.14969 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： 像工程师一样思考：用于生成软件需求获取和自检的神经符号协作代理 显示英文标题

标题： Think Like an Engineer: A Neuro-Symbolic Collaboration Agent for Generative Software Requirements Elicitation and Self-Review

Sai Zhang, Zhenchang Xing, Jieshan Chen, Dehai Zhao, Zizhong Zhu, Xiaowang Zhang, Zhiyong Feng, Xiaohong Li

主题： 软件工程 (cs.SE)

[86] arXiv:2507.14791 (交叉列表自 cs.SE) [中文pdf, pdf, 其他]

标题： 增强仓库级代码生成的调用链感知多视图上下文 显示英文标题

标题： Enhancing Repository-Level Code Generation with Call Chain-Aware Multi-View Context

Yang Liu, Li Zhang, Fang Liu, Zhuohang Wang, Donglin Wei, Zhishuo Yang, Kechi Zhang, Jia Li, Lin Shi

主题： 软件工程 (cs.SE)

[87] arXiv:2507.14776 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： VeriOpt：通过多角色大语言模型实现的PPA感知高质量Verilog生成 显示英文标题

标题： VeriOpt: PPA-Aware High-Quality Verilog Generation via Multi-Role LLMs

Kimia Tasnia, Alexander Garcia, Tasnuva Farheen, Sazadur Rahman

评论： 9页，7图，被ICCAD 2025接收，德国慕尼黑

主题： 软件工程 (cs.SE)

[88] arXiv:2507.14770 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： 走向包容性的AI驱动发展：探索性别差异在代码生成工具交互中的影响 显示英文标题

标题： Toward Inclusive AI-Driven Development: Exploring Gender Differences in Code Generation Tool Interactions

Manaal Basha, Ivan Beschastnikh, Gema Rodriguez-Perez, Cleidson R. B. de Souza

评论： ESEM 2025 注册报告

主题： 软件工程 (cs.SE)

[89] arXiv:2507.14735 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： 探究LLMs超参数调优和提示工程在支持领域建模中的作用 显示英文标题

标题： Investigating the Role of LLMs Hyperparameter Tuning and Prompt Engineering to Support Domain Modeling

Vladyslav Bulhakov, Giordano d'Aloisio, Claudio Di Sipio, Antinisca Di Marco, Davide Di Ruscio

评论： 被第51届欧洲微电子会议系列软件工程与高级应用（SEAA）接收

主题： 软件工程 (cs.SE)

[90] arXiv:2507.14716 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： HistoryFinder：利用准确的判定器和增强的算法推进方法级源代码历史生成 显示英文标题

标题： HistoryFinder: Advancing Method-Level Source Code History Generation with Accurate Oracles and Enhanced Algorithm

Shahidul Islam, Ashik Aowal, Md Sharif Uddin, Shaiful Chowdhury

主题： 软件工程 (cs.SE)

[91] arXiv:2507.14687 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： 用于生成单一布尔表达式的最小唯一原因MC/DC测试用例的高效算法 显示英文标题

标题： An Efficient Algorithm for Generating Minimal Unique-Cause MC/DC Test cases for Singular Boolean Expressions

Robin Lee, Youngho Nam

评论： 10页，5图

主题： 软件工程 (cs.SE)

[92] arXiv:2507.14594 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： PyPI生态系统中的许可证变体初探 显示英文标题

标题： A first look at License Variants in the PyPI Ecosystem

Weiwei Xu, Hengzhi Ye, Kai Gao, Minghui Zhou

主题： 软件工程 (cs.SE)

[93] arXiv:2507.14558 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： 利用大语言模型对OpenCV库进行文档引导的模糊测试 显示英文标题

标题： Harnessing LLMs for Document-Guided Fuzzing of OpenCV Library

Bin Duan, Tarek Mahmud, Meiru Che, Yan Yan, Naipeng Dong, Dan Dongseong Kim, Guowei Yang

主题： 软件工程 (cs.SE)

[94] arXiv:2507.14554 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： 从业者视角下的软件架构新兴趋势：五年回顾 显示英文标题

标题： Emerging Trends in Software Architecture from the Practitioners Perspective: A Five Year Review

Ruoyu Su, Noman ahmad, Matteo Esposito, Andrea Janes, Davide Taibi, Valentina Lenarduzzi

主题： 软件工程 (cs.SE)

[95] arXiv:2507.14547 (交叉列表自 cs.SE) [中文pdf, pdf, 其他]

标题： 架构退化：定义、动机、度量和修复方法 显示英文标题

标题： Architectural Degradation: Definition, Motivations, Measurement and Remediation Approaches

Noman Ahmad, Ruoyu Su, Matteo Esposito, Andrea Janes, Valentina Lenarduzzi, Davide Taibi

主题： 软件工程 (cs.SE)

[96] arXiv:2507.14423 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： 预训练模型中令牌合并的影响 显示英文标题

标题： On the Effect of Token Merging on Pre-trained Models for Code

Mootez Saad, Hao Li, Tushar Sharma, Ahmed E. Hassan

主题： 软件工程 (cs.SE)

[97] arXiv:2507.14396 (交叉列表自 cs.SE) [中文pdf, pdf, 其他]

标题： 开发协作软件工程的共享词汇系统 显示英文标题

标题： Developing Shared Vocabulary System For Collaborative Software Engineering

Carey Lai Zheng Hui, Johnson Britto Jessia Esther Leena, Kumuthini Subramanian, Zhao Chenyu, Shubham Rajeshkumar Jariwala

评论： 16页，包括附录

主题： 软件工程 (cs.SE)

[98] arXiv:2507.14330 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： 利用大语言模型进行形式化软件需求——挑战与前景 显示英文标题

标题： Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects

Arshad Beg, Diarmuid O'Donoghue, Rosemary Monahan

评论： 提交至Overlay2025 - 第7届人工智能与形式验证、逻辑、自动机和综合国际研讨会。[正在审稿中]

主题： 软件工程 (cs.SE)

[99] arXiv:2507.14256 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： 代码上下文和提示策略对现代通用大型语言模型自动生成单元测试的影响 显示英文标题

标题： Impact of Code Context and Prompting Strategies on Automated Unit Test Generation with Modern General-Purpose Large Language Models

Jakub Walczak, Piotr Tomalak, Artur Laskowski

主题： 软件工程 (cs.SE) ; 人工智能 (cs.AI)

[100] arXiv:2507.15146 (交叉列表自 cs.ET) [中文pdf, pdf, html, 其他]

标题： 基于边缘的便携式电子健康记录系统在远程健康应用中的贫血筛查设计 显示英文标题

标题： Design of an Edge-based Portable EHR System for Anemia Screening in Remote Health Applications

Sebastian A. Cruz Romero, Misael J. Mercado Hernandez, Samir Y. Ali Rivera, Jorge A. Santiago Fernandez, Wilfredo E. Lugo Beauchamp

评论： 被IEEE全球人道主义技术会议2025接受

主题： 新兴技术 (cs.ET) ; 人工智能 (cs.AI) ; 计算机视觉与模式识别 (cs.CV) ; 计算机与社会 (cs.CY) ; 机器学习 (cs.LG) ; 软件工程 (cs.SE)

[101] arXiv:2507.15058 (交叉列表自 cs.CR) [中文pdf, pdf, html, 其他]

标题： LibLMFuzz：用于黑盒库的LLM增强模糊目标生成 显示英文标题

标题： LibLMFuzz: LLM-Augmented Fuzz Target Generation for Black-box Libraries

Ian Hardgrove, John D. Hastings

评论： 6页，2图，1表，2个列表

主题： 密码学与安全 (cs.CR) ; 机器学习 (cs.LG) ; 软件工程 (cs.SE)

[102] arXiv:2507.14985 (交叉列表自 cs.CR) [中文pdf, pdf, html, 其他]

标题： 元宇宙安全与隐私研究：系统综述 显示英文标题

标题： Metaverse Security and Privacy Research: A Systematic Review

Argianto Rahartomo, Leonel Merino, Mohammad Ghafari

评论： 论文已被 Computers & Security Journal 接受发表

主题： 密码学与安全 (cs.CR) ; 新兴技术 (cs.ET) ; 人机交互 (cs.HC) ; 软件工程 (cs.SE)

[103] arXiv:2507.14642 (交叉列表自 cs.AI) [中文pdf, pdf, 其他]

标题： 基于比较学习的高效故事点估算 显示英文标题

标题： Efficient Story Point Estimation With Comparative Learning

Monoshiz Mahbub Khan, Xioayin Xi, Andrew Meneely, Zhe Yu

主题： 人工智能 (cs.AI) ; 软件工程 (cs.SE)

[104] arXiv:2507.14347 (交叉列表自 eess.SY) [中文pdf, pdf, html, 其他]

标题： 远程协助或远程驾驶：操作设计领域对ADS支持系统选择的影响 显示英文标题

标题： Remote Assistance or Remote Driving: The Impact of Operational Design Domains on ADS-Supporting Systems Selection

Ole Hans, Benedikt Walter

评论： 此工作已提交给IEEE以供可能发表

主题： 系统与控制 (eess.SY) ; 软件工程 (cs.SE)

2025年07月21日， 星期一 (展示 5 之 5 条目 )

[105] arXiv:2507.13661 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： 测试自动驾驶系统——什么真正重要，什么不重要 显示英文标题

标题： Testing Autonomous Driving Systems -- What Really Matters and What Doesn't

Changwen Li, Joseph Sifakis, Rongjie Yan, Jian Zhang

主题： 软件工程 (cs.SE)

[106] arXiv:2507.13555 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： 揭开功能请求的神秘面纱：利用大语言模型在开源软件中优化功能请求 显示英文标题

标题： Demystifying Feature Requests: Leveraging LLMs to Refine Feature Requests in Open-Source Software

Pragyan K C, Rambod Ghandiparsi, Thomas Herron, John Heaps, Mitra Bokaei Hosseini

评论： 被第33届IEEE国际需求工程会议2025接受

主题： 软件工程 (cs.SE)

[107] arXiv:2507.13553 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： 从众人群中获得更好的需求：开源软件中开发人员对功能请求的参与 显示英文标题

标题： Towards Better Requirements from the Crowd: Developer Engagement with Feature Requests in Open Source Software

Pragyan K C, Rambod Ghandiparsi, Thomas Herron, John Heaps, Mitra Bokaei Hosseini

评论： 被第9届基于群体的需求工程国际研讨会（CrowdRE'25）接受

主题： 软件工程 (cs.SE)

[108] arXiv:2507.13499 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： 大规模代码审查评论的AI辅助修复 显示英文标题

标题： AI-Assisted Fixes to Code Review Comments at Scale

Chandra Maddila, Negar Ghorbani, James Saindon, Parth Thakkar, Vijayaraghavan Murali, Rui Abreu, Jingyue Shen, Brian Zhou, Nachiappan Nagappan, Peter C. Rigby

主题： 软件工程 (cs.SE) ; 人工智能 (cs.AI) ; 编程语言 (cs.PL)

[109] arXiv:2507.13481 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： 代码样本中的社会技术气味动态：关于出现、演变和共现的多视角综述 显示英文标题

标题： Socio-Technical Smell Dynamics in Code Samples: A Multivocal Review on Emergence, Evolution, and Co-Occurrence

Arthur Bueno, Bruno Cafeo, Maria Cagnin, Awdren Fontão

评论： 12页；2图；预印本，原始投稿已被接受在第39届巴西软件工程研讨会（SBES）发表

主题： 软件工程 (cs.SE) ; 计算机与社会 (cs.CY)