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

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

Comments: 10 pages

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)

[326] arXiv:2509.25243 [pdf, html, other]

Title: Reinforcement Learning-Guided Chain-of-Draft for Token-Efficient Code Generation

Xunzhu Tang, Iyiola Emmanuel Olatunji, Tiezhu Sun, Jacques Klein, Tegawende F. Bissyande

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

[327] arXiv:2509.25247 [pdf, html, other]

Title: Protocode: Prototype-Driven Interpretability for Code Generation in LLMs

Krishna Vamshi Bodla, Haizhao Yang

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

[328] arXiv:2509.25248 [pdf, other]

Title: BuildBench: Benchmarking LLM Agents on Compiling Real-World Open-Source Software

Zehua Zhang, Ati Priya Bajaj, Divij Handa, Siyu Liu, Arvind S Raj, Hongkai Chen, Hulin Wang, Yibo Liu, Zion Leonahenahe Basque, Souradip Nath, Vishal Juneja, Nikhil Chapre, Yan Shoshitaishvili, Adam Doupé, Chitta Baral, Ruoyu Wang

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

[329] arXiv:2509.25257 [pdf, html, other]

Title: RANGER -- Repository-Level Agent for Graph-Enhanced Retrieval

Pratik Shah, Rajat Ghosh, Aryan Singhal, Debojyoti Dutta

Comments: 24 pages, 4 figures

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

[330] arXiv:2509.25297 [pdf, other]

Title: Automatically Generating Web Applications from Requirements Via Multi-Agent Test-Driven Development

Yuxuan Wan, Tingshuo Liang, Jiakai Xu, Jingyu Xiao, Yintong Huo, Michael R. Lyu

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

[331] arXiv:2509.25378 [pdf, html, other]

Title: Detecting and Fixing API Misuses of Data Science Libraries Using Large Language Models

Akalanka Galappaththi, Francisco Ribeiro, Sarah Nadi

Comments: 10 pages, 3 figures, accepted in CASCON 25

Subjects: Software Engineering (cs.SE)

[332] arXiv:2509.25397 [pdf, html, other]

Title: A Cartography of Open Collaboration in Open Source AI: Mapping Practices, Motivations, and Governance in 14 Open Large Language Model Projects

Johan Linåker, Cailean Osborne, Jennifer Ding, Ben Burtenshaw

Comments: In submission

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

[333] arXiv:2509.25455 [pdf, html, other]

Title: PIPer: On-Device Environment Setup via Online Reinforcement Learning

Alexander Kovrigin, Aleksandra Eliseeva, Konstantin Grotov, Egor Bogomolov, Yaroslav Zharov

Comments: Under review

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

[334] arXiv:2509.25465 [pdf, html, other]

Title: BloomAPR: A Bloom's Taxonomy-based Framework for Assessing the Capabilities of LLM-Powered APR Solutions

Yinghang Ma, Jiho Shin, Leuson Da Silva, Zhen Ming (Jack)Jiang, Song Wang, Foutse Khomh, Shin Hwei Tan

Comments: 22 pages, 7 figures, Manuscript submitted to ACM Transactions on Software Engineering and Methodology

Subjects: Software Engineering (cs.SE)

[335] arXiv:2509.25514 [pdf, html, other]

Title: AGNOMIN -- Architecture Agnostic Multi-Label Function Name Prediction

Yonatan Gizachew Achamyeleh, Tongtao Zhang, Joshua Hyunki Kim, Gabriel Garcia, Shih-Yuan Yu, Anton Kocheturov, Mohammad Abdullah Al Faruque

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

[336] arXiv:2509.25625 [pdf, html, other]

Title: M&SCheck: Towards a Checklist to Support Software Engineering Newcomers to the Modeling and Simulation Area

Luiza Martins de Freitas Cintra, Philipp Zech, Mohamad Kassab, Eliomar Araújo Lima, Sofia Larissa da Costa Paiva, Valdemar Vicente Graciano Neto

Subjects: Software Engineering (cs.SE)

[337] arXiv:2509.25676 [pdf, html, other]

Title: Explainable Fault Localization for Programming Assignments via LLM-Guided Annotation

Fang Liu, Tianze Wang, Li Zhang, Zheyu Yang, Jing Jiang, Zian Sun

Comments: Accepted by ASE'2025

Subjects: Software Engineering (cs.SE)

[338] arXiv:2509.25716 [pdf, html, other]

Title: DeepCodeSeek: Real-Time API Retrieval for Context-Aware Code Generation

Esakkivel Esakkiraja, Denis Akhiyarov, Aditya Shanmugham, Chitra Ganapathy

Comments: Retrieval-Augmented Generation, API Prediction, Context-Aware Code Generation, Enterprise Code Completion, Reinforcement Learning, ServiceNow, Real-Time Code Search, Query Enhancement, Fine-Tuning, Embedding, Reranker

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

[339] arXiv:2509.25754 [pdf, other]

Title: Are Classical Clone Detectors Good Enough For the AI Era?

Ajmain Inqiad Alam, Palash Roy, Farouq Al-omari, Chanchal Roy, Banani Roy, Kevin Schneider

Journal-ref: 41th International Conference on Software Maintenance and Evolution (ICSME), 2025

Subjects: Software Engineering (cs.SE)

[340] arXiv:2509.25874 [pdf, html, other]

Title: LogPilot: Intent-aware and Scalable Alert Diagnosis for Large-scale Online Service Systems

Zhihan Jiang, Jinyang Liu, Yichen Li, Haiyu Huang, Xiao He, Tieying Zhang, Jianjun Chen, Yi Li, Rui Shi, Michael R. Lyu

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

Subjects: Software Engineering (cs.SE)

[341] arXiv:2509.25894 [pdf, other]

Title: Red Teaming Program Repair Agents: When Correct Patches can Hide Vulnerabilities

Simin Chen, Yixin He, Suman Jana, Baishakhi Ray

Subjects: Software Engineering (cs.SE)

[342] arXiv:2509.25987 [pdf, html, other]

Title: R-Log: Incentivizing Log Analysis Capability in LLMs via Reasoning-based Reinforcement Learning

Yilun Liu, Ziang Chen, Song Xu, Minggui He, Shimin Tao, Weibin Meng, Yuming Xie, Tao Han, Chunguang Zhao, Jingzhou Du, Daimeng Wei, Shenglin Zhang, Yongqian Sun

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

[343] arXiv:2509.26014 [pdf, html, other]

Title: Using GPT to build a Project Management assistant for Jira environments

Joel Garcia-Escribano, Arkaitz Carbajo, Mikel Egaña Aranguren, Unai Lopez-Novoa

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

[344] arXiv:2509.26031 [pdf, other]

Title: Evaluating the impact of code smell refactoring on the energy consumption of Android applications

Hina Anwar, Dietmar Pfahl, Satish N. Srirama

Subjects: Software Engineering (cs.SE)

[345] arXiv:2509.26110 [pdf, html, other]

Title: Agent-based code generation for the Gammapy framework

Dmitriy Kostunin, Vladimir Sotnikov, Sergo Golovachev, Abhay Mehta, Tim Lukas Holch, Elisa Jones

Comments: ICRC2025 proceedings PoS(ICRC2025)753

Subjects: Software Engineering (cs.SE); Instrumentation and Methods for Astrophysics (astro-ph.IM)

[346] arXiv:2509.26111 [pdf, html, other]

Title: A Multi-Language Object-Oriented Programming Benchmark for Large Language Models

Shuai Wang, Liang Ding, Li Shen, Yong Luo, Han Hu, Lefei Zhang, Fu Lin

Comments: 20 pages, 12 figures

Subjects: Software Engineering (cs.SE)

[347] arXiv:2509.26173 [pdf, html, other]

Title: Understanding Collective Social Behavior in OSS Communities: A Co-editing Network Analysis of Activity Cascades

Lisi Qarkaxhija, Maximilian Carparo, Stefan Menzel, Bernhard Sendhoff, Ingo Scholtes

Subjects: Software Engineering (cs.SE)

[348] arXiv:2509.26204 [pdf, html, other]

Title: Hamster: A Large-Scale Study and Characterization of Developer-Written Tests

Rangeet Pan, Tyler Stennett, Raju Pavuluri, Nate Levin, Alessandro Orso, Saurabh Sinha

Subjects: Software Engineering (cs.SE)

[349] arXiv:2509.26336 [pdf, html, other]

Title: UniSage: A Unified and Post-Analysis-Aware Sampling for Microservices

Zhouruixing Zhu, Zhihan Jiang, Tianyi Yang, Pinjia He

Subjects: Software Engineering (cs.SE)

[350] arXiv:2509.26422 [pdf, other]

Title: Institutional Policy Pathways for Supporting Research Software: Global Trends and Local Practices

Michelle Barker, Jeremy Cohen, Pedro Hernández Serrano, Daniel S. Katz, Kim Martin, Dan Rudmann, Hugh Shanahan

Subjects: Software Engineering (cs.SE)

[351] arXiv:2509.26458 [pdf, html, other]

Title: EQ-Robin: Generating Multiple Minimal Unique-Cause MC/DC Test Suites

Robin Lee, Youngho Nam

Comments: 5 pages

Subjects: Software Engineering (cs.SE)

[352] arXiv:2509.26463 [pdf, html, other]

Title: ErrorPrism: Reconstructing Error Propagation Paths in Cloud Service Systems

Junsong Pu, Yichen Li, Zhuangbin Chen, Jinyang Liu, Zhihan Jiang, Jianjun Chen, Rui Shi, Zibin Zheng, Tieying Zhang

Comments: 12 pages, 6 figures, 1 table, this paper has been accepted by the 40th IEEE/ACM International Conference on Automated Software Engineering, ASE 2025

Subjects: Software Engineering (cs.SE)

[353] arXiv:2509.26546 [pdf, html, other]

Title: Towards Verified Code Reasoning by LLMs

Meghana Sistla, Gogul Balakrishnan, Pat Rondon, José Cambronero, Michele Tufano, Satish Chandra

Comments: 43 pages

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

[354] arXiv:2509.26616 [pdf, other]

Title: Black-box Context-free Grammar Inference for Readable & Natural Grammars

Mohammad Rifat Arefin, Shanto Rahman, Christoph Csallner

Comments: 20 pages

Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL)

[355] arXiv:2509.00113 (cross-list from physics.ins-det) [pdf, html, other]

Title: afspm: A Framework for Manufacturer-Agnostic Automation in Scanning Probe Microscopy

Nicholas J. Sullivan, Julio J. Valdés, Kirk H. Bevan, Peter Grutter

Subjects: Instrumentation and Detectors (physics.ins-det); Materials Science (cond-mat.mtrl-sci); Software Engineering (cs.SE)

[356] arXiv:2509.00272 (cross-list from cs.AI) [pdf, html, other]

Title: SHERPA: A Model-Driven Framework for Large Language Model Execution

Boqi Chen, Kua Chen, José Antonio Hernández López, Gunter Mussbacher, Dániel Varró, Amir Feizpour

Comments: MODELS 2025

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

[357] arXiv:2509.01459 (cross-list from eess.SY) [pdf, html, other]

Title: Semantic Technologies in Practical Demand Response: An Informational Requirement-based Roadmap

Ozan Baris Mulayim, Yuvraj Agarwal, Mario Bergés, Steve Schaefer, Mitali Shah, Derek Supple

Comments: Under review by journal of Advanced Engineering Informatics. It includes 25 pages, 7 figures, 8 tables,

Subjects: Systems and Control (eess.SY); Software Engineering (cs.SE)

[358] arXiv:2509.01508 (cross-list from quant-ph) [pdf, html, other]

Title: Traq: Estimating the Quantum Cost of Classical Programs

Anurudh Peduri, Gilles Barthe, Michael Walter

Comments: 50 pages

Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)

[359] arXiv:2509.01617 (cross-list from cs.DB) [pdf, other]

Title: Disentangling the schema turn: Restoring the information base to conceptual modelling

Chris Partridge, Andrew Mitchell, Sergio de Cesare, Oscar Xiberta Soto

Comments: Fundamentals of Conceptual Modeling - ER2025 Workshop

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

[360] arXiv:2509.02360 (cross-list from cs.AI) [pdf, html, other]

Title: When Agents go Astray: Course-Correcting SWE Agents with PRMs

Shubham Gandhi, Jason Tsay, Jatin Ganhotra, Kiran Kate, Yara Rizk

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

[361] arXiv:2509.02372 (cross-list from cs.CR) [pdf, html, other]

Title: Scam2Prompt: A Scalable Framework for Auditing Malicious Scam Endpoints in Production LLMs

Zhiyang Chen, Tara Saba, Xun Deng, Xujie Si, Fan Long

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

[362] arXiv:2509.03037 (cross-list from cs.CR) [pdf, html, other]

Title: TraceLLM: Security Diagnosis Through Traces and Smart Contracts in Ethereum

Shuzheng Wang, Yue Huang, Zhuoer Xu, Yuming Huang, Jing Tang

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

[363] arXiv:2509.03242 (cross-list from cs.LG) [pdf, html, other]

Title: TopoMap: A Feature-based Semantic Discriminator of the Topographical Regions in the Test Input Space

Gianmarco De Vita, Nargiz Humbatova, Paolo Tonella

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

[364] arXiv:2509.03280 (cross-list from quant-ph) [pdf, html, other]

Title: An experience-based classification of quantum bugs in quantum software

Nils Quetschlich, Olivia Di Matteo

Comments: 25 pages, 4 figures. To appear in special issue of Computing, "Pivoting Quantum Computing Using Software Engineering Best Practices"

Subjects: Quantum Physics (quant-ph); Software Engineering (cs.SE)

[365] arXiv:2509.03310 (cross-list from cs.AI) [pdf, html, other]

Title: app.build: A Production Framework for Scaling Agentic Prompt-to-App Generation with Environment Scaffolding

Evgenii Kniazev, Arseny Kravchenko, Igor Rekun, James Broadhead, Nikita Shamgunov, Pranav Sah, Pratik Nichite, Ivan Yamshchikov

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

[366] arXiv:2509.03711 (cross-list from cs.CR) [pdf, other]

Title: Reactive Bottom-Up Testing

Siddharth Muralee, Sourag Cherupattamoolayil, James C. Davis, Antonio Bianchi, Aravind Machiry

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

[367] arXiv:2509.03807 (cross-list from cs.CR) [pdf, html, other]

Title: BIDO: A Unified Approach to Address Obfuscation and Concept Drift Challenges in Image-based Malware Detection

Junhui Li, Chengbin Feng, Zhiwei Yang, Qi Mo, Wei Wang

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

[368] arXiv:2509.04642 (cross-list from cs.AI) [pdf, html, other]

Title: Maestro: Joint Graph & Config Optimization for Reliable AI Agents

Wenxiao Wang, Priyatham Kattakinda, Soheil Feizi

Comments: Technical Report by this http URL

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

[369] arXiv:2509.04936 (cross-list from cs.PL) [pdf, html, other]

Title: A Large-Scale Study of Floating-Point Usage in Statically Typed Languages

Andrea Gilot, Tobias Wrigstad, Eva Darulova

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

[370] arXiv:2509.05160 (cross-list from cs.PL) [pdf, html, other]

Title: AI-Assisted Modeling: DSL-Driven AI Interactions

Steven Smyth, Daniel Busch, Moez Ben Haj Hmida, Edward A. Lee, Bernhard Steffen

Comments: 7 pages, 4 figures

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

[371] arXiv:2509.05293 (cross-list from cs.PL) [pdf, html, other]

Title: Non-Termination Proving: 100 Million LoC and Beyond

Julien Vanegue, Jules Villard, Peter O'Hearn, Azalea Raad

Comments: 14 pages, 4 figures

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

[372] arXiv:2509.05643 (cross-list from cs.CR) [pdf, html, other]

Title: FuzzBox: Blending Fuzzing into Emulation for Binary-Only Embedded Targets

Carmine Cesarano, Roberto Natella

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

[373] arXiv:2509.06133 (cross-list from cs.CR) [pdf, html, other]

Title: VehiclePassport: A GAIA-X-Aligned, Blockchain-Anchored Privacy-Preserving, Zero-Knowledge Digital Passport for Smart Vehicles

Pradyumna Kaushal

Comments: 13 pages, 5 figures. Whitepaper submission; LaTeX source with compiled .bbl. Includes architecture diagrams, tables, and code listings (TypeScript & Solidity)

Subjects: Cryptography and Security (cs.CR); Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE); Systems and Control (eess.SY)

[374] arXiv:2509.06845 (cross-list from cs.PL) [pdf, other]

Title: MIO: Multiverse Debugging in the Face of Input/Output -- Extended Version with Additional Appendices

Tom Lauwaerts, Maarten Steevens, Christophe Scholliers

Comments: This extended version provides auxiliary material to the article of the same title that will appear in the ACM Digital Library as part of the PACMPL issue for OOPSLA 2025

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

[375] arXiv:2509.06864 (cross-list from cs.LG) [pdf, html, other]

Title: Concolic Testing on Individual Fairness of Neural Network Models

Ming-I Huang, Chih-Duo Hong, Fang Yu

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

[376] arXiv:2509.07046 (cross-list from cs.CY) [pdf, html, other]

Title: From Passive to Participatory: How Liberating Structures Can Revolutionize Our Conferences

Daniel Russo, Margaret-Anne Storey

Journal-ref: Communications of the ACM, 2025

Subjects: Computers and Society (cs.CY); Software Engineering (cs.SE)

[377] arXiv:2509.07103 (cross-list from cs.LG) [pdf, html, other]

Title: Lookup multivariate Kolmogorov-Arnold Networks

Sergey Pozdnyakov, Philippe Schwaller

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

[378] arXiv:2509.07315 (cross-list from cs.CR) [pdf, html, other]

Title: SafeToolBench: Pioneering a Prospective Benchmark to Evaluating Tool Utilization Safety in LLMs

Hongfei Xia, Hongru Wang, Zeming Liu, Qian Yu, Yuhang Guo, Haifeng Wang

Comments: 18 pages, 7 figures

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

[379] arXiv:2509.07400 (cross-list from eess.SY) [pdf, html, other]

Title: A smart fridge with AI-enabled food computing

Khue Nong Thuc, Khoa Tran Nguyen Anh, Tai Nguyen Huy, Du Nguyen Hao Hong, Khanh Dinh Ba

Journal-ref: The 9th OISP Science and Technology Symposium for Students Ho Chi Minh City University of Technology (HCMUT), VNU-HCM, 2025

Subjects: Systems and Control (eess.SY); Computer Vision and Pattern Recognition (cs.CV); Software Engineering (cs.SE)

[380] arXiv:2509.07506 (cross-list from cs.DC) [pdf, html, other]

Title: Astra: A Multi-Agent System for GPU Kernel Performance Optimization

Anjiang Wei, Tianran Sun, Yogesh Seenichamy, Hang Song, Anne Ouyang, Azalia Mirhoseini, Ke Wang, Alex Aiken

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG); Software Engineering (cs.SE)

[381] arXiv:2509.08149 (cross-list from physics.med-ph) [pdf, html, other]

Title: The-Bodega: A Matlab Toolbox for Biologically Dynamic Microbubble Simulations on Realistic Hemodynamic Microvascular Graphs

Stephen Alexander Lee, Alexis Leconte, Alice Wu, Jonathan Poree, Maxence Laplante-Berthier, Simon Desrocher, Pierre-Olivier Bouchard, Joshua Kinugasa, Samuel Mihelic, Andreas Linninger, Jean Provost

Comments: 36 Pages, 12 Figures

Subjects: Medical Physics (physics.med-ph); Software Engineering (cs.SE); Applied Physics (physics.app-ph)

[382] arXiv:2509.08203 (cross-list from cs.HC) [pdf, html, other]

Title: Componentization: Decomposing Monolithic LLM Responses into Manipulable Semantic Units

Ryan Lingo, Rajeev Chhajer, Martin Arroyo, Luka Brkljacic, Ben Davis, Nithin Santhanam

Comments: 12 pages, 4 figures

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

[383] arXiv:2509.08204 (cross-list from cs.CR) [pdf, html, other]

Title: Unlocking Reproducibility: Automating re-Build Process for Open-Source Software

Behnaz Hassanshahi, Trong Nhan Mai, Benjamin Selwyn Smith, Nicholas Allen

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

[384] arXiv:2509.08847 (cross-list from cs.AI) [pdf, html, other]

Title: Automated Unity Game Template Generation from GDDs via NLP and Multi-Modal LLMs

Amna Hassan

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

[385] arXiv:2509.09392 (cross-list from physics.med-ph) [pdf, html, other]

Title: An Integrated Open Source Software System for the Generation and Analysis of Subject-Specific Blood Flow Simulation Ensembles

Simon Leistikow, Thomas Miro, Adrian Kummerländer, Ali Nahardani, Katja Grün, Markus Franz, Verena Hoerr, Mathias J. Krause, Lars Linsen

Comments: 21 pages, 7 figures, 2 tables

Subjects: Medical Physics (physics.med-ph); Software Engineering (cs.SE)

[386] arXiv:2509.09775 (cross-list from cs.AI) [pdf, other]

Title: Executable Ontologies: Synthesizing Event Semantics with Dataflow Architecture

Aleksandr Boldachev

Comments: 22 pages, 6 figures. Corrected captions on Figure 4

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Formal Languages and Automata Theory (cs.FL); Software Engineering (cs.SE)

[387] arXiv:2509.09942 (cross-list from cs.CR) [pdf, html, other]

Title: SmartCoder-R1: Towards Secure and Explainable Smart Contract Generation with Security-Aware Group Relative Policy Optimization

Lei Yu, Jingyuan Zhang, Xin Wang, Jiajia Ma, Li Yang, Fengjun Zhang

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

[388] arXiv:2509.10320 (cross-list from cs.CR) [pdf, html, other]

Title: Automated Testing of Broken Authentication Vulnerabilities in Web APIs with AuthREST

Davide Corradini, Mariano Ceccato, Mohammad Ghafari

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

[389] arXiv:2509.10413 (cross-list from cs.CR) [pdf, html, other]

Title: Bitcoin Cross-Chain Bridge: A Taxonomy and Its Promise in Artificial Intelligence of Things

Guojun Tang, Carylyne Chan, Ning Nan, Spencer Yang, Jiayu Zhou, Henry Leung, Mohammad Mamun, Steve Drew

Comments: Blockchain Cross-Chain Bridge Survey

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

[390] arXiv:2509.10828 (cross-list from cs.SC) [pdf, html, other]

Title: Structuring Definitions in Mathematical Libraries

Alena Gusakov, Peter Nelson, Stephen Watt

Subjects: Symbolic Computation (cs.SC); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

[391] arXiv:2509.10956 (cross-list from cs.HC) [pdf, html, other]

Title: AI Hasn't Fixed Teamwork, But It Shifted Collaborative Culture: A Longitudinal Study in a Project-Based Software Development Organization (2023-2025)

Qing Xiao, Xinlan Emily Hu, Mark E. Whiting, Arvind Karunakaran, Hong Shen, Hancheng Cao

Comments: 18 pages

Subjects: Human-Computer Interaction (cs.HC); Computers and Society (cs.CY); Software Engineering (cs.SE)

[392] arXiv:2509.11173 (cross-list from cs.CR) [pdf, other]

Title: Your Compiler is Backdooring Your Model: Understanding and Exploiting Compilation Inconsistency Vulnerabilities in Deep Learning Compilers

Simin Chen, Jinjun Peng, Yixin He, Junfeng Yang, Baishakhi Ray

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

[393] arXiv:2509.11712 (cross-list from cs.CR) [pdf, other]

Title: A Holistic Approach to E-Commerce Innovation: Redefining Security and User Experience

Mohammad Olid Ali Akash (1), Priyangana Saha (1) ((1) North South University)

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

[394] arXiv:2509.11836 (cross-list from cs.CR) [pdf, html, other]

Title: A Practical Adversarial Attack against Sequence-based Deep Learning Malware Classifiers

Kai Tan, Dongyang Zhan, Lin Ye, Hongli Zhang, Binxing Fang

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

[395] arXiv:2509.11877 (cross-list from cs.LO) [pdf, other]

Title: Proceedings 9th edition of Working Formal Methods Symposium

Andrei Arusoaie (Alexandru Ioan Cuza University of Iaşi), Horaţiu Cheval (University of Bucharest), Radu Iosif (Verimag, CNRS, University of Grenoble Alpes)

Journal-ref: EPTCS 427, 2025

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)

[396] arXiv:2509.12296 (cross-list from cs.DC) [pdf, other]

Title: An End to End Edge to Cloud Data and Analytics Strategy

Vijay Kumar Butte, Sujata Butte

Journal-ref: 2022 13th International Conference on Computing Communication and Networking Technologies (ICCCNT). IEEE, 2022

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Artificial Intelligence (cs.AI); Computational Engineering, Finance, and Science (cs.CE); Machine Learning (cs.LG); Software Engineering (cs.SE)

[397] arXiv:2509.12982 (cross-list from cs.RO) [pdf, html, other]

Title: Out of Distribution Detection in Self-adaptive Robots with AI-powered Digital Twins

Erblin Isaku, Hassan Sartaj, Shaukat Ali, Beatriz Sanguino, Tongtong Wang, Guoyuan Li, Houxiang Zhang, Thomas Peyrucain

Comments: 15 pages, 4 figures, 3 tables

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

[398] arXiv:2509.13128 (cross-list from cs.PL) [pdf, html, other]

Title: Try-Mopsa: Relational Static Analysis in Your Pocket

Raphaël Monat

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

[399] arXiv:2509.13253 (cross-list from cs.HC) [pdf, html, other]

Title: Evolution of Programmers' Trust in Generative AI Programming Assistants

Anshul Shah, Thomas Rexin, Elena Tomson, Leo Porter, William G. Griswold, Adalbert Gerald Soosai Raj

Comments: Koli Calling 2025 conference

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

[400] arXiv:2509.13429 (cross-list from cs.PL) [pdf, html, other]

Title: Catalpa: GC for a Low-Variance Software Stack

Anthony Arnold, Mark Marron

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