Software Engineering

Authors and titles for September 2025

[301] arXiv:2509.24347 [pdf, html, other]

Title: Efficient Decomposition Identification of Deterministic Finite Automata from Examples

Junjie Meng, Jie An, Yong Li, Andrea Turrini, Fanjiang Xu, Naijun Zhan, Miaomiao Zhang

Comments: Full version of the paper accepted by SETTA 2025

Subjects: Software Engineering (cs.SE)

[302] arXiv:2509.24352 [pdf, html, other]

Title: Walk the Talk: Is Your Log-based Software Reliability Maintenance System Really Reliable?

Minghua He, Tong Jia, Chiming Duan, Pei Xiao, Lingzhe Zhang, Kangjin Wang, Yifan Wu, Ying Li, Gang Huang

Comments: Accepted by ASE 2025 (NIER Track)

Subjects: Software Engineering (cs.SE)

[303] arXiv:2509.24364 [pdf, html, other]

Title: United We Stand: Towards End-to-End Log-based Fault Diagnosis via Interactive Multi-Task Learning

Minghua He, Chiming Duan, Pei Xiao, Tong Jia, Siyu Yu, Lingzhe Zhang, Weijie Hong, Jin Han, Yifan Wu, Ying Li, Gang Huang

Comments: ASE 2025 (Research Track)

Subjects: Software Engineering (cs.SE)

[304] arXiv:2509.24380 [pdf, html, other]

Title: Agentic Services Computing

Shuiguang Deng, Hailiang Zhao, Ziqi Wang, Guanjie Cheng, Peng Chen, Wenzhuo Qian, Zhiwei Ling, Jianwei Yin, Albert Y. Zomaya, Schahram Dustdar

Subjects: Software Engineering (cs.SE)

[305] arXiv:2509.24419 [pdf, html, other]

Title: Unit Test Update through LLM-Driven Context Collection and Error-Type-Aware Refinement

Yuanhe Zhang, Zhiquan Yang, Shengyi Pan, Zhongxin Liu

Subjects: Software Engineering (cs.SE)

[306] arXiv:2509.24485 [pdf, html, other]

Title: Towards Shift-Up: A Framework and a Prestudy on High-Value Activities in GenAI Native Software Development

Vlad Stirbu, Mateen Ahmed Abbasi, Teerath Das, Jesse Haimi, Niko Iljin, Pyry Kotilainen, Petrus Lipsanen, Niko Mäkitalo, Maiju Sipilä, Venla Veijalainen, Tommi Mikkonen

Subjects: Software Engineering (cs.SE)

[307] arXiv:2509.24498 [pdf, html, other]

Title: JSProtect: A Scalable Obfuscation Framework for Mini-Games in WeChat

Zhihao Li, Chaozheng Wang, Zongjie Li, Xinyong Peng, Zelin Su, Qun Xia, Haochuan Lu, Ting Xiong, Man Ho Lam, Shuzheng Gao, Yuchong Xie, Cuiyun Gao, Shuai Wang, Yuetang Deng, Huafeng Ma

Comments: 10 pages

Subjects: Software Engineering (cs.SE)

[308] arXiv:2509.24507 [pdf, html, other]

Title: SemGuard: Real-Time Semantic Evaluator for Correcting LLM-Generated Code

Qinglin Wang, Zhihong Sun, Ruyun Wang, Tao Huang, Zhi Jin, Ge Li, Chen Lyu

Comments: Accepted by the 40th IEEE/ACM Automated Software Engineering Conference (ASE 2025)

Subjects: Software Engineering (cs.SE)

[309] arXiv:2509.24515 [pdf, html, other]

Title: Agentic Specification Generator for Move Programs

Yu-Fu Fu, Meng Xu, Taesoo Kim

Comments: 18 pages; Extended version of ASE'25 paper with extra appendices

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

[310] arXiv:2509.24637 [pdf, html, other]

Title: Bridging Developer Instructions and Code Completion Through Instruction-Aware Fill-in-the-Middle Paradigm

Zhensu Sun, Chengran Yang, Chao Peng, Pengfei Gao, Xiaoning Du, Li Li, David Lo

Subjects: Software Engineering (cs.SE)

[311] arXiv:2509.24694 [pdf, html, other]

Title: CoTune: Co-evolutionary Configuration Tuning

Gangda Xiong, Tao Chen

Comments: Accepted by ASE 2025

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

[312] arXiv:2509.24782 [pdf, html, other]

Title: Large language models for behavioral modeling: A literature survey

Muhammad Laiq

Comments: 9 pages

Subjects: Software Engineering (cs.SE)

[313] arXiv:2509.24828 [pdf, html, other]

Title: Evaluating SAP Joule for Code Generation

Joshua Heisler, Johannes Reisinger, Andreas Fischer

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

[314] arXiv:2509.24975 [pdf, html, other]

Title: DiffTester: Accelerating Unit Test Generation for Diffusion LLMs via Repetitive Pattern

Lekang Yang, Yuetong Liu, Yitong Zhang, Jia Li

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

[315] arXiv:2509.25043 [pdf, html, other]

Title: Large Language Models for Software Testing: A Research Roadmap

Cristian Augusto, Antonia Bertolino, Guglielmo De Angelis, Francesca Lonetti, Jesús Morán

Comments: 40 pages & 10 figures Submitted on 29th September 2025

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

[316] arXiv:2509.25117 [pdf, other]

Title: Towards Reliable Generation of Executable Workflows by Foundation Models

Sogol Masoumzadeh, Keheliya Gallaba, Dayi Lin, Ahmed E. Hassan

Subjects: Software Engineering (cs.SE)

[317] arXiv:2509.25192 [pdf, html, other]

Title: WARP -- Web-Augmented Real-time Program Repairer: A Real-Time Compilation Error Resolution using LLMs and Web-Augmented Synthesis

Anderson de Lima Luiz

Comments: 5 pages, 2 figures

Subjects: Software Engineering (cs.SE)

[318] arXiv:2509.25193 [pdf, html, other]

Title: Devstral: Fine-tuning Language Models for Coding Agent Applications

Abhinav Rastogi, Adam Yang, Albert Q. Jiang, Alexander H. Liu, Alexandre Sablayrolles, Amélie Héliou, Amélie Martin, Anmol Agarwal, Andy Ehrenberg, Andy Lo, Antoine Roux, Arthur Darcet, Arthur Mensch, Baptiste Bout, Baptiste Rozière, Baudouin De Monicault, Chris Bamford, Christian Wallenwein, Christophe Renaudin, Clémence Lanfranchi, Clément Denoix, Corentin Barreau, Darius Dabert Devon Mizelle, Diego de las Casas, Elliot Chane-Sane, Emilien Fugier, Emma Bou Hanna, Gabrielle Berrada, Gauthier Delerce, Gauthier Guinet, Georgii Novikov, Graham Neubig, Guillaume Lample, Guillaume Martin, Himanshu Jaju, Jan Ludziejewski, Jason Rute, Jean-Malo Delignon, JeanHadrien Chabran, Joachim Studnia, Joep Barmentlo, Jonas Amar, Josselin Somerville Roberts, Julien Denize, Karan Saxena, Karmesh Yadav, Kartik Khandelwal, Khyathi Raghavi Chandu, Kush Jain, Lélio Renard Lavaud, Léonard Blier, Lingxiao Zhao, Louis Martin, Lucile Saulnier, Luyu Gao, Marie Pellat, Mathilde Guillaumin, Mathis Felardos, Matthieu Dinot, Maxime Darrin, Maximilian Augustin, Mickaël Seznec, Neha Gupta, Nikhil Raghuraman, Olivier Duchenne, Patricia Wang, Patrick von Platen, Patryk Saffer, Paul Jacob, Paul Wambergue, Paula Kurylowicz, Philomène Chagniot, Pierre Stock, Pravesh Agrawal, Rémi Delacourt, Roman Soletskyi, Romain Sauvestre, Sagar Vaze, Sanchit Gandhi, Sandeep Subramanian, Shashwat Dalal, Siddharth Gandhi, Soham Ghosh, Srijan Mishra, Sumukh Aithal, Szymon Antoniak, Teven Le Scao, Thibaut Lavril, Thibault Schueller, Thomas Foubert, Thomas Robert, Thomas Wang, Timothée Lacroix, Tom Bewley, Valeriia Nemychnikova, Victor Paltz, Virgile Richard, Wen-Ding Li, William Marshall, Xingyao Wang

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

[319] arXiv:2509.25194 [pdf, html, other]

Title: Automated Code Development for PDE Solvers Using Large Language Models

Haoyang Wu, Xinxin Zhang, Lailai Zhu

Subjects: Software Engineering (cs.SE); Computational Physics (physics.comp-ph)

[320] arXiv:2509.25195 [pdf, html, other]

Title: Understanding Practitioners Perspectives on Monitoring Machine Learning Systems

Hira Naveed, John Grundy, Chetan Arora, Hourieh Khalajzadeh, Omar Haggag

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

[321] arXiv:2509.25196 [pdf, html, other]

Title: APRIL: API Synthesis with Automatic Prompt Optimization and Reinforcement Learning

Hua Zhong, Shan Jiang, Sarfraz Khurshid

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

[322] arXiv:2509.25197 [pdf, html, other]

Title: Towards Repository-Level Program Verification with Large Language Models

Si Cheng Zhong, Xujie Si

Comments: Accepted to LMPL 2025

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

[323] arXiv:2509.25199 [pdf, html, other]

Title: CircInspect: Integrating Visual Circuit Analysis, Abstraction, and Real-Time Development in Quantum Debugging

Mushahid Khan, Prashant J. Nair, Olivia Di Matteo

Subjects: Software Engineering (cs.SE)

[324] arXiv:2509.25203 [pdf, other]

Title: Generating High-Quality Datasets for Code Editing via Open-Source Language Models

Zekai Zhang, Mingwei Liu, Zhenxi Chen, Linxi Liang, Yuxuan Chen, Guangsheng Ou, Yanlin Wang, Dan Li, Xin Peng, Zibin Zheng

Comments: 23 pages, 8 figures

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

[325] arXiv:2509.25242 [pdf, html, other]

Title: A Benchmark for Localizing Code and Non-Code Issues in Software Projects

Zejun Zhang, Jian Wang, Qingyun Yang, Yifan Pan, Yi Tang, Yi Li, Zhenchang Xing, Tian Zhang, Xuandong Li, Guoan Zhang

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