Massimo Bartoletti, Enrico Lipparini, Livio Pompianu: LLMs as verification oracles for Solidity https://arxiv.org/abs/2509.19153 https://arxiv.org/pdf/2509.19153 https://arxiv.org/html/2509.19153

Felix Weissberg, Lukas Pirch, Erik Imgrund, Jonas M\"oller, Thorsten Eisenhofer, Konrad Rieck: LLM-based Vulnerability Discovery through the Lens of Code Metrics https://arxiv.org/abs/2509.19117 https://arxiv.org/pdf/2509.19117 https://arxiv.org/html/2509.19117

Ilhan Skender, Kailin Tong, Selim Solmaz, Daniel Watzenig: Investigating Traffic Accident Detection Using Multimodal Large Language Models https://arxiv.org/abs/2509.19096 https://arxiv.org/pdf/2509.19096 https://arxiv.org/html/2509.19096

Alioune Diallo, Anta Diop, Abdoul Kader Kabore, Jordan Samhi, Aleksandr Pilgun, Tegawend\'e F. Bissyande, Jacque Klein: Security Evaluation of Android apps in budget African Mobile Devices https://arxiv.org/abs/2509.18800 https://arxiv.org/pdf/2509.18800 https://arxiv.org/html/2509.18800

Lukas Zanger, Bastian Lampe, Lennart Reiher, Lutz Eckstein: Application Management in C-ITS: Orchestrating Demand-Driven Deployments and Reconfigurations https://arxiv.org/abs/2509.18793 https://arxiv.org/pdf/2509.18793 https://arxiv.org/html/2509.18793

War, Rawass, Kabore, Samhi, Klein, Bissyande: Detection of security smells in IaC scripts through semantics-aware code and language processing https://arxiv.org/abs/2509.18790 https://arxiv.org/pdf/2509.18790 https://arxiv.org/html/2509.18790

Aicha War, Serge L. B. Nikiema, Jordan Samhi, Jacques Klein, Tegawende F. Bissyande: Security smells in infrastructure as code: a taxonomy update beyond the seven sins https://arxiv.org/abs/2509.18761 https://arxiv.org/pdf/2509.18761 https://arxiv.org/html/2509.18761

Hasan, Li, Fallahzadeh, Rajbahadur, Adams, Hassan: An Empirical Study of Testing Practices in Open Source AI Agent Frameworks and Agentic Applications https://arxiv.org/abs/2509.19185 https://arxiv.org/pdf/2509.19185 https://arxiv.org/html/2509.19185

S\'ebastien Salva, Redha Taguelmimt: On the Soundness and Consistency of LLM Agents for Executing Test Cases Written in Natural Language https://arxiv.org/abs/2509.19136 https://arxiv.org/pdf/2509.19136 https://arxiv.org/html/2509.19136

Zexun Zhan, Shuzheng Gao, Ruida Hu, Cuiyun Gao: SR-Eval: Evaluating LLMs on Code Generation under Stepwise Requirement Refinement https://arxiv.org/abs/2509.18808 https://arxiv.org/pdf/2509.18808 https://arxiv.org/html/2509.18808

Steven R Brandt, Max Morris, Patrick Diehl, Christopher Bowen, Jacob Tucker, Lauren Bristol, Golden G. Richard III: Locking Down Science Gateways https://arxiv.org/abs/2509.18548 https://arxiv.org/pdf/2509.18548 https://arxiv.org/html/2509.18548

Andrzej Bia{\l}ecki, Piotr Bia{\l}ecki, Piotr Sowi\'nski, Mateusz Budziak, Jan Gajewski: SC2Tools: StarCraft II Toolset and Dataset API https://arxiv.org/abs/2509.18454 https://arxiv.org/pdf/2509.18454 https://arxiv.org/html/2509.18454

Daye Nam, Malgorzata Salawa, Satish Chandra: Reading Between the Lines: Scalable User Feedback via Implicit Sentiment in Developer Prompts https://arxiv.org/abs/2509.18361 https://arxiv.org/pdf/2509.18361 https://arxiv.org/html/2509.18361

Bo Xiong, Linghao Zhang, Chong Wang, Peng Liang: CoRaCMG: Contextual Retrieval-Augmented Framework for Commit Message Generation https://arxiv.org/abs/2509.18337 https://arxiv.org/pdf/2509.18337 https://arxiv.org/html/2509.18337

[2025-09-24 Wed (UTC), 7 new articles found for csSE Software Engineering]

Leszek Sliwko: Cluster Workload Allocation: A Predictive Approach Leveraging Machine Learning Efficiency https://arxiv.org/abs/2509.17695 https://arxiv.org/pdf/2509.17695 https://arxiv.org/html/2509.17695

Rui Yang, Michael Fu, Chakkrit Tantithamthavorn, Chetan Arora, Gunel Gulmammadova, Joey Chua: AdaptiveGuard: Towards Adaptive Runtime Safety for LLM-Powered Software https://arxiv.org/abs/2509.16861 https://arxiv.org/pdf/2509.16861 https://arxiv.org/html/2509.16861

Ange-Thierry Ishimwe, Raghuveer Shivakumar, Heewoo Kim, Tamara Lehman, Joseph Izraelevitz: PrediPrune: Reducing Verification Overhead in Souper with Machine Learning Driven Pruning https://arxiv.org/abs/2509.16497 https://arxiv.org/pdf/2509.16497 https://arxiv.org/html/2509.16497

Jugal Gajjar, Kamalasankari Subramaniakuppusamy, Relsy Puthal, Kaustik Ranaware: SecureFixAgent: A Hybrid LLM Agent for Automated Python Static Vulnerability Repair https://arxiv.org/abs/2509.16275 https://arxiv.org/pdf/2509.16275 https://arxiv.org/html/2509.16275

Kashmira, Dantanarayana, Sathiyalogeswaran, Yuan, Talati, Flautner, Tang, Mars: GraphMend: Code Transformations for Fixing Graph Breaks in PyTorch 2 https://arxiv.org/abs/2509.16248 https://arxiv.org/pdf/2509.16248 https://arxiv.org/html/2509.16248

Izavan dos S. Correia, Henrique C. T. Santos, Tiago A. E. Ferreira: Discovering Software Parallelization Points Using Deep Neural Networks https://arxiv.org/abs/2509.16215 https://arxiv.org/pdf/2509.16215 https://arxiv.org/html/2509.16215

Cristina Stratan, Claudio Mandrioli, Domenico Bianculli: Diagnosing Violations of State-based Specifications in iCFTL https://arxiv.org/abs/2509.17776 https://arxiv.org/pdf/2509.17776 https://arxiv.org/html/2509.17776

Antonio Bucchiarone, Juri Di Rocco, Damiano Di Vincenzo, Alfonso Pierantonio: From OCL to JSX: declarative constraint modeling in modern SaaS tools https://arxiv.org/abs/2509.17629 https://arxiv.org/pdf/2509.17629 https://arxiv.org/html/2509.17629

Hugo Villamizar, Jannik Fischbach, Alexander Korn, Andreas Vogelsang, Daniel Mendez: Prompts as Software Engineering Artifacts: A Research Agenda and Preliminary Findings https://arxiv.org/abs/2509.17548 https://arxiv.org/pdf/2509.17548 https://arxiv.org/html/2509.17548

Pengfei He, Shaowei Wang, Tse-Hsun Chen: SLICET5: Static Program Slicing using Language Models with Copy Mechanism and Constrained Decoding https://arxiv.org/abs/2509.17338 https://arxiv.org/pdf/2509.17338 https://arxiv.org/html/2509.17338

Mingxuan Xiao, Yan Xiao, Shunhui Ji, Jiahe Tu, Pengcheng Zhang: BASFuzz: Towards Robustness Evaluation of LLM-based NLP Software via Automated Fuzz Testing https://arxiv.org/abs/2509.17335 https://arxiv.org/pdf/2509.17335 https://arxiv.org/html/2509.17335

Juyeon Yoon, Somin Kim, Robert Feldt, Shin Yoo: Clotho: Measuring Task-Specific Pre-Generation Test Adequacy for LLM Inputs https://arxiv.org/abs/2509.17314 https://arxiv.org/pdf/2509.17314 https://arxiv.org/html/2509.17314

Ziyou Li, Agnia Sergeyuk, Maliheh Izadi: Prompt-with-Me: in-IDE Structured Prompt Management for LLM-Driven Software Engineering https://arxiv.org/abs/2509.17096 https://arxiv.org/pdf/2509.17096 https://arxiv.org/html/2509.17096

James J. Cusick: Static Security Vulnerability Scanning of Proprietary and Open-Source Software: An Adaptable Process with Variants and Results https://arxiv.org/abs/2509.16985 https://arxiv.org/pdf/2509.16985 https://arxiv.org/html/2509.16985

Xiang Deng, et al.: SWE-Bench Pro: Can AI Agents Solve Long-Horizon Software Engineering Tasks? https://arxiv.org/abs/2509.16941 https://arxiv.org/pdf/2509.16941 https://arxiv.org/html/2509.16941

Taehyoun Kim, Duksan Ryu, Jongmoon Baik: Deep Synthetic Cross-Project Approaches for Software Reliability Growth Modeling https://arxiv.org/abs/2509.16939 https://arxiv.org/pdf/2509.16939 https://arxiv.org/html/2509.16939

Yang, Fu, Tantithamthavorn, Arora, Gulmammadova, Chua: DecipherGuard: Understanding and Deciphering Jailbreak Prompts for a Safer Deployment of Intelligent Software Systems https://arxiv.org/abs/2509.16870 https://arxiv.org/pdf/2509.16870 https://arxiv.org/html/2509.16870

Wei Liu (Peter), Yi Wen Heng (Peter), Feng Lin (Peter), Tse-Hsun (Peter), Chen, Ahmed E. Hassan: MobileUPReg: Identifying User-Perceived Performance Regressions in Mobile OS Versions https://arxiv.org/abs/2509.16864 https://arxiv.org/pdf/2509.16864 https://arxiv.org/html/2509.16864

Zrelli, Misson, Kamkuimo, Attia, Shabah, de Magalhaes, Nicolescu: Implementation of the Collision Avoidance System for DO-178C Compliance https://arxiv.org/abs/2509.16844 https://arxiv.org/pdf/2509.16844 https://arxiv.org/html/2509.16844

Saikat Mondal, Chanchal K. Roy, Hong Wang, Juan Arguello, Samantha Mathan: Can We Trust the AI Pair Programmer? Copilot for API Misuse Detection and Correction https://arxiv.org/abs/2509.16795 https://arxiv.org/pdf/2509.16795 https://arxiv.org/html/2509.16795

Shunyu Liu, Guangdong Bai, Mark Utting, Guowei Yang: RelRepair: Enhancing Automated Program Repair by Retrieving Relevant Code https://arxiv.org/abs/2509.16701 https://arxiv.org/pdf/2509.16701 https://arxiv.org/html/2509.16701

Peterson Jean: Verifying User Interfaces using SPARK Ada: A Case Study of the T34 Syringe Driver https://arxiv.org/abs/2509.16681 https://arxiv.org/pdf/2509.16681 https://arxiv.org/html/2509.16681

Serena Wang, Martino Banchio, Krzysztof Kotowicz, Katrina Ligett, R. Preston McAfee, Eduardo' Vela'' Nava: Incentives and Outcomes in Bug Bounties https://arxiv.org/abs/2509.16655 https://arxiv.org/pdf/2509.16655 https://arxiv.org/html/2509.16655

Jiaming Ye, Xiongfei Wu, Shangzhou Xia, Fuyuan Zhang, Jianjun Zhao: Is Measurement Enough? Rethinking Output Validation in Quantum Program Testing https://arxiv.org/abs/2509.16595 https://arxiv.org/pdf/2509.16595 https://arxiv.org/html/2509.16595

Anna Mazhar, Sainyam Galhotra: Causal Fuzzing for Verifying Machine Unlearning https://arxiv.org/abs/2509.16525 https://arxiv.org/pdf/2509.16525 https://arxiv.org/html/2509.16525

Hossein Yousefizadeh, Shenghui Gu, Lionel C. Briand, Ali Nasr: Constrained Co-evolutionary Metamorphic Differential Testing for Autonomous Systems with an Interpretability Approach https://arxiv.org/abs/2509.16478 https://arxiv.org/pdf/2509.16478 https://arxiv.org/html/2509.16478

Zhenlan Ji, Daoyuan Wu, Wenxuan Wang, Pingchuan Ma, Shuai Wang, Lei Ma: Digging Into the Internal: Causality-Based Analysis of LLM Function Calling https://arxiv.org/abs/2509.16268 https://arxiv.org/pdf/2509.16268 https://arxiv.org/html/2509.16268

[2025-09-23 Tue (UTC), 21 new articles found for csSE Software Engineering]

Luo, Zhang, Liu, Wu, Huang, Huang, Yin, Xin, Liu, Zhan, Sun, Chen, Li, Yang: RPG: A Repository Planning Graph for Unified and Scalable Codebase Generation https://arxiv.org/abs/2509.16198 https://arxiv.org/pdf/2509.16198 https://arxiv.org/html/2509.16198

Sheng Zhang, Yifan Ding, Shuquan Lian, Shun Song, Hui Li: CodeRAG: Finding Relevant and Necessary Knowledge for Retrieval-Augmented Repository-Level Code Completion https://arxiv.org/abs/2509.16112 https://arxiv.org/pdf/2509.16112 https://arxiv.org/html/2509.16112

Yinglong Zou, Juan Zhai, Chunrong Fang, Zhenyu Chen: ThermalGuardian: Temperature-Aware Testing of Automotive Deep Learning Frameworks https://arxiv.org/abs/2509.15815 https://arxiv.org/pdf/2509.15815 https://arxiv.org/html/2509.15815

Dongyang Zhan, Kai Tan, Lin Ye, Xiangzhan Yu, Hongli Zhang, Zheng He: An Adversarial Robust Behavior Sequence Anomaly Detection Approach Based on Critical Behavior Unit Learning https://arxiv.org/abs/2509.15756 https://arxiv.org/pdf/2509.15756 https://arxiv.org/html/2509.15756

Toby Sharp: Hornet Node and the Hornet DSL: A Minimal, Executable Specification for Bitcoin Consensus https://arxiv.org/abs/2509.15754 https://arxiv.org/pdf/2509.15754 https://arxiv.org/html/2509.15754

Ali Reza Ibrahimzada, Brandon Paulsen, Reyhaneh Jabbarvand, Joey Dodds, Daniel Kroening: MatchFixAgent: Language-Agnostic Autonomous Repository-Level Code Translation Validation and Repair https://arxiv.org/abs/2509.16187 https://arxiv.org/pdf/2509.16187 https://arxiv.org/html/2509.16187

Avinash Patil: When Bugs Linger: A Study of Anomalous Resolution Time Outliers and Their Themes https://arxiv.org/abs/2509.16140 https://arxiv.org/pdf/2509.16140 https://arxiv.org/html/2509.16140