Software Engineering

Authors and titles for September 2025

[401] arXiv:2509.13699 (cross-list from cs.LO) [pdf, html, other]

Title: Multi-Threaded Software Model Checking via Parallel Trace Abstraction Refinement

Max Barth, Marie-Christine Jakobs

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

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

Title: InfraMind: A Novel Exploration-based GUI Agentic Framework for Mission-critical Industrial Management

Liangtao Lin, Zhaomeng Zhu, Tianwei Zhang, Yonggang Wen

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

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

Title: Beyond Classification: Evaluating LLMs for Fine-Grained Automatic Malware Behavior Auditing

Xinran Zheng, Xingzhi Qian, Yiling He, Shuo Yang, Lorenzo Cavallaro

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

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

Title: A Systematic Review of FAIR-compliant Big Data Software Reference Architectures

João Pedro de Carvalho Castro, Maria Júlia Soares De Grandi, Cristina Dutra de Aguiar

Journal-ref: Journal of Information and Data Management, 16(1), pp. 136-150 (2025)

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

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

Title: TypedSchematics: A Block-based PCB Design Tool with Real-time Detection of Common Connection Errors

Jorge Garza, Steven Swanson

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

[406] arXiv:2509.14635 (cross-list from cs.CL) [pdf, html, other]

Title: SWE-QA: Can Language Models Answer Repository-level Code Questions?

Weihan Peng, Yuling Shi, Yuhang Wang, Xinyun Zhang, Beijun Shen, Xiaodong Gu

Comments: Code and data available at this https URL

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

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

Title: Hornet Node and the Hornet DSL: A Minimal, Executable Specification for Bitcoin Consensus

Toby Sharp

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

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

Title: An Adversarial Robust Behavior Sequence Anomaly Detection Approach Based on Critical Behavior Unit Learning

Dongyang Zhan, Kai Tan, Lin Ye, Xiangzhan Yu, Hongli Zhang, Zheng He

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

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

Title: GPU Temperature Simulation-Based Testing for In-Vehicle Deep Learning Frameworks

Yinglong Zou, Juan Zhai, Chunrong Fang, Zhenyu Chen

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

[410] arXiv:2509.16112 (cross-list from cs.CL) [pdf, html, other]

Title: CodeRAG: Finding Relevant and Necessary Knowledge for Retrieval-Augmented Repository-Level Code Completion

Sheng Zhang, Yifan Ding, Shuquan Lian, Shun Song, Hui Li

Comments: EMNLP 2025

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

[411] arXiv:2509.16198 (cross-list from cs.CL) [pdf, html, other]

Title: RPG: A Repository Planning Graph for Unified and Scalable Codebase Generation

Jane Luo, Xin Zhang, Steven Liu, Jie Wu, Yiming Huang, Yangyu Huang, Chengyu Yin, Ying Xin, Jianfeng Liu, Yuefeng Zhan, Hao Sun, Qi Chen, Scarlett Li, Mao Yang

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

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

Title: Discovering Software Parallelization Points Using Deep Neural Networks

Izavan dos S. Correia, Henrique C. T. Santos, Tiago A. E. Ferreira

Comments: 17 pages, 10 figures

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Distributed, Parallel, and Cluster Computing (cs.DC); Neural and Evolutionary Computing (cs.NE); Programming Languages (cs.PL); Software Engineering (cs.SE)

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

Title: GraphMend: Code Transformations for Fixing Graph Breaks in PyTorch 2

Savini Kashmira, Jayanaka Dantanarayana, Thamirawaran Sathiyalogeswaran, Yichao Yuan, Nishil Talati, Krisztian Flautner, Lingjia Tang, Jason Mars

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

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

Title: SecureFixAgent: A Hybrid LLM Agent for Automated Python Static Vulnerability Repair

Jugal Gajjar, Kamalasankari Subramaniakuppusamy, Relsy Puthal, Kaustik Ranaware

Comments: 6 pages, 3 figures, 4 tables, 1 algorithm, accepted in the Robustness and Security of Large Language Models (ROSE-LLM) special session at ICMLA 2025

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

[415] arXiv:2509.16497 (cross-list from cs.ET) [pdf, html, other]

Title: PrediPrune: Reducing Verification Overhead in Souper with Machine Learning Driven Pruning

Ange-Thierry Ishimwe, Raghuveer Shivakumar, Heewoo Kim, Tamara Lehman, Joseph Izraelevitz

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

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

Title: AdaptiveGuard: Towards Adaptive Runtime Safety for LLM-Powered Software

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

Comments: Accepted to the ASE 2025 International Conference on Automated Software Engineering, Industry Showcase Track

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

[417] arXiv:2509.17695 (cross-list from cs.LG) [pdf, other]

Title: Cluster Workload Allocation: A Predictive Approach Leveraging Machine Learning Efficiency

Leszek Sliwko

Comments: This is the accepted version of the paper published in IEEE Access (2024). The final version is available at: this https URL

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

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

Title: Security smells in infrastructure as code: a taxonomy update beyond the seven sins

Aicha War, Serge L.B. Nikiema, Jordan Samhi, Jacques Klein, Tegawende F. Bissyande

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

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

Title: Detection of security smells in IaC scripts through semantics-aware code and language processing

Aicha War, Adnan A. Rawass, Abdoul K. Kabore, Jordan Samhi, Jacques Klein, Tegawende F. Bissyande

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

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

Title: Application Management in C-ITS: Orchestrating Demand-Driven Deployments and Reconfigurations

Lukas Zanger, Bastian Lampe, Lennart Reiher, Lutz Eckstein

Comments: 7 pages, 2 figures, 2 tables; Accepted to be published as part of the 2025 IEEE International Conference on Intelligent Transportation Systems (ITSC 2025), Gold Coast, Australia, November 18-21, 2025

Subjects: Robotics (cs.RO); Multiagent Systems (cs.MA); Software Engineering (cs.SE)

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

Title: Security Evaluation of Android apps in budget African Mobile Devices

Alioune Diallo, Anta Diop, Abdoul Kader Kabore, Jordan Samhi, Aleksandr Pilgun, Tegawendé F. Bissyande, Jacque Klein

Comments: 13 pages, 3 figures, submitted (wating for notification)

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

[422] arXiv:2509.19096 (cross-list from cs.CV) [pdf, html, other]

Title: Investigating Traffic Accident Detection Using Multimodal Large Language Models

Ilhan Skender, Kailin Tong, Selim Solmaz, Daniel Watzenig

Comments: Accepted for presentation at the 2025 IEEE International Automated Vehicle Validation Conference (IAVVC 2025). Final version to appear in IEEE Xplore

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

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

Title: LLM-based Vulnerability Discovery through the Lens of Code Metrics

Felix Weissberg, Lukas Pirch, Erik Imgrund, Jonas Möller, Thorsten Eisenhofer, Konrad Rieck

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

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

Title: LLMs as verification oracles for Solidity

Massimo Bartoletti, Enrico Lipparini, Livio Pompianu

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

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

Title: Agentic Metacognition: Designing a "Self-Aware" Low-Code Agent for Failure Prediction and Human Handoff

Jiexi Xu

Comments: 7 pages, 2 tables

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