Software Engineering

Authors and titles for September 2025

[201] arXiv:2509.15893 [pdf, html, other]

Title: Failure Modes and Effects Analysis: An Experience from the E-Bike Domain

Andrea Bombarda, Federico Conti, Marcello Minervini, Aurora Zanenga, Claudio Menghi

Comments: 12 pages

Subjects: Software Engineering (cs.SE)

[202] arXiv:2509.15971 [pdf, html, other]

Title: LeakageDetector 2.0: Analyzing Data Leakage in Jupyter-Driven Machine Learning Pipelines

Owen Truong, Terrence Zhang, Arnav Marchareddy, Ryan Lee, Jeffery Busold, Michael Socas, Eman Abdullah AlOmar

Subjects: Software Engineering (cs.SE)

[203] arXiv:2509.16081 [pdf, other]

Title: Software Development Aspects of Integrating Linear Algebra Libraries

Marcel Koch, Tobias Ribizel, Pratik Nayak, Fritz Göbel, Gregor Olenik, Terry Cojean

Comments: 16 pages, 2 figures

Subjects: Software Engineering (cs.SE); Mathematical Software (cs.MS)

[204] arXiv:2509.16140 [pdf, html, other]

Title: When Bugs Linger: A Study of Anomalous Resolution Time Outliers and Their Themes

Avinash Patil

Comments: 7 pages, 2 tables, 21 figures

Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)

[205] arXiv:2509.16187 [pdf, html, other]

Title: MatchFixAgent: Language-Agnostic Autonomous Repository-Level Code Translation Validation and Repair

Ali Reza Ibrahimzada, Brandon Paulsen, Reyhaneh Jabbarvand, Joey Dodds, Daniel Kroening

Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)

[206] arXiv:2509.16268 [pdf, html, other]

Title: Digging Into the Internal: Causality-Based Analysis of LLM Function Calling

Zhenlan Ji, Daoyuan Wu, Wenxuan Wang, Pingchuan Ma, Shuai Wang, Lei Ma

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)

[207] arXiv:2509.16478 [pdf, html, other]

Title: Constrained Co-evolutionary Metamorphic Differential Testing for Autonomous Systems with an Interpretability Approach

Hossein Yousefizadeh, Shenghui Gu, Lionel C. Briand, Ali Nasr

Subjects: Software Engineering (cs.SE)

[208] arXiv:2509.16525 [pdf, html, other]

Title: Causal Fuzzing for Verifying Machine Unlearning

Anna Mazhar, Sainyam Galhotra

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[209] arXiv:2509.16595 [pdf, html, other]

Title: Is Measurement Enough? Rethinking Output Validation in Quantum Program Testing

Jiaming Ye, Xiongfei Wu, Shangzhou Xia, Fuyuan Zhang, Jianjun Zhao

Comments: This paper will be appeared in the proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering (ASE 2025), NIER track, Seoul, South Korea, November 16 -20, 2025

Subjects: Software Engineering (cs.SE)

[210] arXiv:2509.16655 [pdf, html, other]

Title: Incentives and Outcomes in Bug Bounties

Serena Wang, Martino Banchio, Krzysztof Kotowicz, Katrina Ligett, R. Preston McAfee, Eduardo' Vela'' Nava

Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR); General Economics (econ.GN)

[211] arXiv:2509.16681 [pdf, html, other]

Title: Verifying User Interfaces using SPARK Ada: A Case Study of the T34 Syringe Driver

Peterson Jean

Comments: 62 pages. Master's dissertation submitted to Swansea University, Department of Computer Science, September 2022. Supervisor Dr Jens Blanck

Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)

[212] arXiv:2509.16701 [pdf, html, other]

Title: RelRepair: Enhancing Automated Program Repair by Retrieving Relevant Code

Shunyu Liu, Guangdong Bai, Mark Utting, Guowei Yang

Comments: 11 pages, 5 figures, under review at TSE

Subjects: Software Engineering (cs.SE)

[213] arXiv:2509.16795 [pdf, html, other]

Title: Can We Trust the AI Pair Programmer? Copilot for API Misuse Detection and Correction

Saikat Mondal, Chanchal K. Roy, Hong Wang, Juan Arguello, Samantha Mathan

Comments: Accepted in the 35th IEEE International Conference on Collaborative Advances in Software Computing

Subjects: Software Engineering (cs.SE)

[214] arXiv:2509.16844 [pdf, other]

Title: Implementation of the Collision Avoidance System for DO-178C Compliance

Rim Zrelli, Henrique Amaral Misson, Sorelle Kamkuimo, Maroua Ben Attia, Abdo Shabah, Felipe Gohring de Magalhaes, Gabriela Nicolescu

Subjects: Software Engineering (cs.SE)

[215] arXiv:2509.16864 [pdf, html, other]

Title: MobileUPReg: Identifying User-Perceived Performance Regressions in Mobile OS Versions

Wei Liu, Yi Wen Heng, Feng Lin, Tse-Hsun (Peter)Chen, Ahmed E. Hassan

Comments: ASE 2025 Industry Showcase

Subjects: Software Engineering (cs.SE)

[216] arXiv:2509.16870 [pdf, html, other]

Title: DecipherGuard: Understanding and Deciphering Jailbreak Prompts for a Safer Deployment of Intelligent Software Systems

Rui Yang, Michael Fu, Chakkrit Tantithamthavorn, Chetan Arora, Gunel Gulmammadova, Joey Chua

Comments: Under Review

Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)

[217] arXiv:2509.16939 [pdf, html, other]

Title: Deep Synthetic Cross-Project Approaches for Software Reliability Growth Modeling

Taehyoun Kim, Duksan Ryu, Jongmoon Baik

Comments: Submitted on April 26, 2025. Under review

Subjects: Software Engineering (cs.SE)

[218] arXiv:2509.16941 [pdf, html, other]

Title: SWE-Bench Pro: Can AI Agents Solve Long-Horizon Software Engineering Tasks?

Xiang Deng, Jeff Da, Edwin Pan, Yannis Yiming He, Charles Ide, Kanak Garg, Niklas Lauffer, Andrew Park, Nitin Pasari, Chetan Rane, Karmini Sampath, Maya Krishnan, Srivatsa Kundurthy, Sean Hendryx, Zifan Wang, Chen Bo Calvin Zhang, Noah Jacobson, Bing Liu, Brad Kenstler

Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL)

[219] arXiv:2509.16985 [pdf, other]

Title: Static Security Vulnerability Scanning of Proprietary and Open-Source Software: An Adaptable Process with Variants and Results

James J. Cusick

Comments: A total of 8 pages, 7 figures, 4 tables, and 31 references

Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)

[220] arXiv:2509.17096 [pdf, html, other]

Title: Prompt-with-Me: in-IDE Structured Prompt Management for LLM-Driven Software Engineering

Ziyou Li, Agnia Sergeyuk, Maliheh Izadi

Comments: Accepted in the 40th IEEE/ACM International Conference on Automated Software Engineering, ASE 2025 (Industry track)

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC)

[221] arXiv:2509.17314 [pdf, html, other]

Title: Clotho: Measuring Task-Specific Pre-Generation Test Adequacy for LLM Inputs

Juyeon Yoon, Somin Kim, Robert Feldt, Shin Yoo

Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)

[222] arXiv:2509.17335 [pdf, html, other]

Title: BASFuzz: Towards Robustness Evaluation of LLM-based NLP Software via Automated Fuzz Testing

Mingxuan Xiao, Yan Xiao, Shunhui Ji, Jiahe Tu, Pengcheng Zhang

Subjects: Software Engineering (cs.SE)

[223] arXiv:2509.17338 [pdf, html, other]

Title: SLICET5: Static Program Slicing using Language Models with Copy Mechanism and Constrained Decoding

Pengfei He, Shaowei Wang, Tse-Hsun Chen

Comments: 3 tables, 6 Figures, 12 pages

Subjects: Software Engineering (cs.SE)

[224] arXiv:2509.17548 [pdf, html, other]

Title: Prompts as Software Engineering Artifacts: A Research Agenda and Preliminary Findings

Hugo Villamizar, Jannik Fischbach, Alexander Korn, Andreas Vogelsang, Daniel Mendez

Comments: This paper has been accepted for presentation at the 26th International Conference on Product-Focused Software Process Improvement (PROFES 2025)

Subjects: Software Engineering (cs.SE)

[225] arXiv:2509.17629 [pdf, html, other]

Title: From OCL to JSX: declarative constraint modeling in modern SaaS tools

Antonio Bucchiarone, Juri Di Rocco, Damiano Di Vincenzo, Alfonso Pierantonio

Comments: 10 pages, 2 Figures, Joint Proceedings of the STAF 2025 Workshops: OCL, OOPSLE, LLM4SE, ICMM, AgileMDE, AI4DPS, and TTC. Koblenz, Germany, June 10-13, 2025

Subjects: Software Engineering (cs.SE)

[226] arXiv:2509.17776 [pdf, html, other]

Title: Diagnosing Violations of State-based Specifications in iCFTL

Cristina Stratan, Claudio Mandrioli, Domenico Bianculli

Subjects: Software Engineering (cs.SE)

[227] arXiv:2509.18337 [pdf, html, other]

Title: CoRaCMG: Contextual Retrieval-Augmented Framework for Commit Message Generation

Bo Xiong, Linghao Zhang, Chong Wang, Peng Liang

Comments: 15 pages, 4 images, 6 tables, Manuscript submitted to a Journal (2025)

Subjects: Software Engineering (cs.SE)

[228] arXiv:2509.18361 [pdf, html, other]

Title: Reading Between the Lines: Scalable User Feedback via Implicit Sentiment in Developer Prompts

Daye Nam, Malgorzata Salawa, Satish Chandra

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC)

[229] arXiv:2509.18454 [pdf, html, other]

Title: SC2Tools: StarCraft II Toolset and Dataset API

Andrzej Białecki, Piotr Białecki, Piotr Sowiński, Mateusz Budziak, Jan Gajewski

Subjects: Software Engineering (cs.SE)

[230] arXiv:2509.18548 [pdf, html, other]

Title: Locking Down Science Gateways

Steven R Brandt, Max Morris, Patrick Diehl, Christopher Bowen, Jacob Tucker, Lauren Bristol, Golden G. Richard III

Subjects: Software Engineering (cs.SE)

[231] arXiv:2509.18808 [pdf, html, other]

Title: SR-Eval: Evaluating LLMs on Code Generation under Stepwise Requirement Refinement

Zexun Zhan, Shuzheng Gao, Ruida Hu, Cuiyun Gao

Subjects: Software Engineering (cs.SE)

[232] arXiv:2509.19136 [pdf, html, other]

Title: On the Soundness and Consistency of LLM Agents for Executing Test Cases Written in Natural Language

Sébastien Salva, Redha Taguelmimt

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)

[233] arXiv:2509.19185 [pdf, html, other]

Title: An Empirical Study of Testing Practices in Open Source AI Agent Frameworks and Agentic Applications

Mohammed Mehedi Hasan, Hao Li, Emad Fallahzadeh, Gopi Krishnan Rajbahadur, Bram Adams, Ahmed E. Hassan

Subjects: Software Engineering (cs.SE); Emerging Technologies (cs.ET)

[234] arXiv:2509.19459 [pdf, html, other]

Title: Automated Insertion of Flushes and Fences for Persistency

Yutong Guo, Weiyu Luo, Brian Demsky

Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)

[235] arXiv:2509.19533 [pdf, html, other]

Title: Semantic-Aware Fuzzing: An Empirical Framework for LLM-Guided, Reasoning-Driven Input Mutation

Mengdi Lu, Steven Ding, Furkan Alaca, Philippe Charland

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR)

[236] arXiv:2509.19587 [pdf, html, other]

Title: Reverse Engineering User Stories from Code using Large Language Models

Mohamed Ouf, Haoyu Li, Michael Zhang, Mariam Guizani

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)

[237] arXiv:2509.19673 [pdf, html, other]

Title: Assertion Messages with Large Language Models (LLMs) for Code

Ahmed Aljohani, Anamul Haque Mollah, Hyunsook Do

Comments: Accepted at Proceedings of the 2025 Evaluation and Assessment in Software Engineering (EASE '25)

Subjects: Software Engineering (cs.SE)

[238] arXiv:2509.19708 [pdf, html, other]

Title: Intuition to Evidence: Measuring AI's True Impact on Developer Productivity

Anand Kumar, Vishal Khare, Deepak Sharma, Satyam Kumar, Vijay Saini, Anshul Yadav, Sachendra Jain, Ankit Rana, Pratham Verma, Vaibhav Meena, Avinash Edubilli

Comments: 16 pages, 10 figures, 5 tables

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[239] arXiv:2509.19918 [pdf, html, other]

Title: Beyond Language Barriers: Multi-Agent Coordination for Multi-Language Code Generation

Micheline Bénédicte Moumoula, Serge Lionel Nikiema, Albérick Euraste Djire, Abdoul Kader Kabore, Jacques Klein, Tegawendé F. Bissyande

Subjects: Software Engineering (cs.SE)

[240] arXiv:2509.20010 [pdf, html, other]

Title: Demystifying the Evolution of Neural Networks with BOM Analysis: Insights from a Large-Scale Study of 55,997 GitHub Repositories

Xiaoning Ren, Yuhang Ye, Xiongfei Wu, Yueming Wu, Yinxing Xue

Comments: 11pages,8figures

Subjects: Software Engineering (cs.SE)

[241] arXiv:2509.20136 [pdf, html, other]

Title: V-GameGym: Visual Game Generation for Code Large Language Models

Wei Zhang, Jack Yang, Renshuai Tao, Lingzheng Chai, Shawn Guo, Jiajun Wu, Xiaoming Chen, Ganqu Cui, Ning Ding, Xander Xu, Hu Wei, Bowen Zhou

Subjects: Software Engineering (cs.SE)

[242] arXiv:2509.20149 [pdf, html, other]

Title: Enhancing Requirement Traceability through Data Augmentation Using Large Language Models

Jianzhang Zhang, Jialong Zhou, Nan Niu, Chuang Liu

Subjects: Software Engineering (cs.SE)

[243] arXiv:2509.20172 [pdf, html, other]

Title: Benchmarking LLMs in Web API Integration Tasks

Daniel Maninger, Leon Chemnitz, Amir Molzam Sharifloo, Jannis Brugger, Mira Mezini

Comments: To be published in Proceedings of 2nd ACM International Conference on AI-powered Software, Benchmark & Dataset Track (AIware '25); updated paper title and affiliations

Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)

[244] arXiv:2509.20215 [pdf, html, other]

Title: The Cream Rises to the Top: Efficient Reranking Method for Verilog Code Generation

Guang Yang, Wei Zheng, Xiang Chen, Yifan Sun, Fengji Zhang, Terry Yue Zhuo

Comments: Under review ICASSP 2026

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Hardware Architecture (cs.AR)

[245] arXiv:2509.20300 [pdf, html, other]

Title: Confidentiality-Preserving Verifiable Business Processes through Zero-Knowledge Proofs

Jannis Kiesel, Jonathan Heiss

Subjects: Software Engineering (cs.SE)

[246] arXiv:2509.20308 [pdf, other]

Title: Protocol Testing with I/O Grammars

Alexander Liggesmeyer, José Antonio Zamudio Amaya, Andreas Zeller

Comments: 20 pages

Subjects: Software Engineering (cs.SE)

[247] arXiv:2509.20353 [pdf, other]

Title: Developer Productivity With and Without GitHub Copilot: A Longitudinal Mixed-Methods Case Study

Viktoria Stray, Elias Goldmann Brandtzæg, Viggo Tellefsen Wivestad, Astri Barbala, Nils Brede Moe

Comments: Accepted for publication in the Proceedings of the 59th Hawaii International Conference on System Sciences (HICSS 2026)

Subjects: Software Engineering (cs.SE)

[248] arXiv:2509.20380 [pdf, html, other]

Title: ACCeLLiuM: Supervised Fine-Tuning for Automated OpenACC Pragma Generation

Samyak Jhaveri, Vanessa Klotzmann, Crista Lopes

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)

[249] arXiv:2509.20385 [pdf, html, other]

Title: State-of-the-Art in Software Security Visualization: A Systematic Review

Ishara Devendra, Chaman Wijesiriwardana, Prasad Wimalaratne

Subjects: Software Engineering (cs.SE)

[250] arXiv:2509.20386 [pdf, html, other]

Title: Dynamic ReAct: Scalable Tool Selection for Large-Scale MCP Environments

Nishant Gaurav, Adit Akarsh, Ankit Ranjan, Manoj Bajaj

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Information Retrieval (cs.IR)