Skip to main content
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate
arXiv logo
Cornell University Logo

Software Engineering

Authors and titles for September 2025

Total of 459 entries
Showing up to 2000 entries per page: fewer | more | all
[1] arXiv:2509.00140 [pdf, html, other]
Title: LLM-based Triplet Extraction for Automated Ontology Generation in Software Engineering Standards
Songhui Yue
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[2] arXiv:2509.00256 [pdf, html, other]
Title: LLM-Based Program Generation for Triggering Numerical Inconsistencies Across Compilers
Yutong Wang, Cindy Rubio-González
Subjects: Software Engineering (cs.SE)
[3] arXiv:2509.00466 [pdf, html, other]
Title: JS-TOD: Detecting Order-Dependent Flaky Tests in Jest
Negar Hashemi, Amjed Tahir, Shawn Rasheed, August Shi, Rachel Blagojevic
Subjects: Software Engineering (cs.SE)
[4] arXiv:2509.00785 [pdf, html, other]
Title: Bug Whispering: Towards Audio Bug Reporting
Elena Masserini, Daniela Micucci, Leonardo Mariani
Comments: 2 pages, 1 figure, IEEE International Symposium on Software Reliability Engineering (ISSRE), 2025, Fast Abstracts Session
Subjects: Software Engineering (cs.SE)
[5] arXiv:2509.01006 [pdf, html, other]
Title: REConnect: Participatory RE that Matters
Daniela Damian, Bachan Ghimire, Ze Shi Li
Comments: 23 pages
Subjects: Software Engineering (cs.SE)
[6] arXiv:2509.01048 [pdf, html, other]
Title: Generative Goal Modeling
Ateeq Sharfuddin, Travis Breaux
Comments: 11 pages,
Subjects: Software Engineering (cs.SE)
[7] arXiv:2509.01068 [pdf, html, other]
Title: A Survey on the Techniques and Tools for Automated Requirements Elicitation and Analysis of Mobile Apps
Chong Wang, Haoning Wu, Peng Liang, Maya Daneva, Marten van Sinderen
Subjects: Software Engineering (cs.SE)
[8] arXiv:2509.01149 [pdf, html, other]
Title: Compiler Bugs Detection in Logic Synthesis Tools via Linear Upper Confidence Bound
Hui Zeng, Zhihao Xu, Hui Li, Siwen Wang, Qian Ma
Subjects: Software Engineering (cs.SE)
[9] arXiv:2509.01255 [pdf, html, other]
Title: Policy-driven Software Bill of Materials on GitHub: An Empirical Study
Oleksii Novikov, Davide Fucci, Oleksandr Adamov, Daniel Mendez
Comments: To be published in the proceedings of PROFES2025
Subjects: Software Engineering (cs.SE)
[10] arXiv:2509.01294 [pdf, other]
Title: Metamorphic Testing of Multimodal Human Trajectory Prediction
Helge Spieker, Nadjib Lazaar, Arnaud Gotlieb, Nassim Belmecheri
Comments: Information and Software Technology
Subjects: Software Engineering (cs.SE); Robotics (cs.RO)
[11] arXiv:2509.01313 [pdf, html, other]
Title: Aligning Requirement for Large Language Model's Code Generation
Zhao Tian, Junjie Chen
Comments: Accepted by ICSE 2026
Subjects: Software Engineering (cs.SE)
[12] arXiv:2509.01318 [pdf, html, other]
Title: Leveraging SystemC-TLM-based Virtual Prototypes for Embedded Software Fuzzing
Chiara Ghinami, Jonas Winzer, Nils Bosbach, Lennart M. Reimann, Lukas Jünger, Simon Wörner, Rainer Leupers
Subjects: Software Engineering (cs.SE)
[13] arXiv:2509.01389 [pdf, html, other]
Title: Towards Multi-Platform Mutation Testing of Task-based Chatbots
Diego Clerissi, Elena Masserini, Daniela Micucci, Leonardo Mariani
Comments: 4 pages, 1 figure, Accepted at 9th International Workshop on Software Faults 2025
Subjects: Software Engineering (cs.SE)
[14] arXiv:2509.01445 [pdf, other]
Title: Non Technical Debt in Agile Software Development
Muhammad Ovais Ahmad, Tomas Gustavsson
Subjects: Software Engineering (cs.SE)
[15] arXiv:2509.01494 [pdf, html, other]
Title: Benchmarking and Studying the LLM-based Code Review
Zhengran Zeng, Ruikai Shi, Keke Han, Yixin Li, Kaicheng Sun, Yidong Wang, Zhuohao Yu, Rui Xie, Wei Ye, Shikun Zhang
Subjects: Software Engineering (cs.SE)
[16] arXiv:2509.01527 [pdf, other]
Title: A Privacy-Preserving Recommender for Filling Web Forms Using a Local Large Language Model
Amirreza Nayyeri, Abbas Rasoolzadegan
Subjects: Software Engineering (cs.SE)
[17] arXiv:2509.01612 [pdf, html, other]
Title: WFC/WFD: Web Fuzzing Commons, Dataset and Guidelines to Support Experimentation in REST API Fuzzing
Omur Sahin, Man Zhang, Andrea Arcuri
Subjects: Software Engineering (cs.SE)
[18] arXiv:2509.01616 [pdf, html, other]
Title: Automated Generation of Issue-Reproducing Tests by Combining LLMs and Search-Based Testing
Konstantinos Kitsios, Marco Castelluccio, Alberto Bacchelli
Comments: 13 pages, 8 figures, accepted for publication (to appear) in the 40th IEEE/ACM International Conference on Automated Software Engineering, ASE 2025
Subjects: Software Engineering (cs.SE)
[19] arXiv:2509.01946 [pdf, html, other]
Title: Tether: A Personalized Support Assistant for Software Engineers with ADHD
Aarsh Shah, Cleyton Magalhaes, Kiev Gama, Ronnie de Souza Santos
Subjects: Software Engineering (cs.SE)
[20] arXiv:2509.01947 [pdf, html, other]
Title: Automated Repair of C Programs Using Large Language Models
Mahdi Farzandway, Fatemeh Ghassemi
Subjects: Software Engineering (cs.SE)
[21] arXiv:2509.02012 [pdf, html, other]
Title: ProbTest: Unit Testing for Probabilistic Programs (Extended Version)
Katrine Christensen, Mahsa Varshosaz, Raúl Pardo
Comments: Pre-print of paper to appear in the proceedings of the 23nd edition of the International Conference on Software Engineering and Formal Methods (SEFM'25)
Subjects: Software Engineering (cs.SE)
[22] arXiv:2509.02022 [pdf, html, other]
Title: Scalable Thread-Safety Analysis of Java Classes with CodeQL
Bjørnar Haugstad Jåtten, Simon Boye Jørgensen, Rasmus Petersen, Raúl Pardo
Subjects: Software Engineering (cs.SE)
[23] arXiv:2509.02025 [pdf, html, other]
Title: Curiosity-Driven Testing for Sequential Decision-Making Process
Junda He, Zhou Yang, Jieke Shi, Chengran Yang, Kisub Kim, Bowen Xu, Xin Zhou, David Lo
Comments: Update the Replication Package URL
Subjects: Software Engineering (cs.SE)
[24] arXiv:2509.02150 [pdf, html, other]
Title: Txt2Sce: Scenario Generation for Autonomous Driving System Testing Based on Textual Reports
Pin Ji, Yang Feng, Zongtai Li, Xiangchi Zhou, Jia Liu, Jun Sun, Zhihong Zhao
Subjects: Software Engineering (cs.SE)
[25] arXiv:2509.02221 [pdf, html, other]
Title: Formalizing Operational Design Domains with the Pkl Language
Martin Skoglund, Fredrik Warg, Anders Thorsén, Sasikumar Punnekkat, Hans Hansson
Comments: 8 pages, 9 figures, IV 2025
Subjects: Software Engineering (cs.SE)
[26] arXiv:2509.02311 [pdf, html, other]
Title: Methodology for Test Case Allocation based on a Formalized ODD
Martin Skoglund, Fredrik Warg, Anders Thoren, Sasikumar Punnekkat, Hans Hansson
Comments: 12 pages, 8 figures, DECSoS, SAFECOMP 2025
Subjects: Software Engineering (cs.SE)
[27] arXiv:2509.02330 [pdf, html, other]
Title: ReCode: Improving LLM-based Code Repair with Fine-Grained Retrieval-Augmented Generation
Yicong Zhao, Shisong Chen, Jiacheng Zhang, Zhixu Li
Comments: Accepted by CIKM 2025
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[28] arXiv:2509.02860 [pdf, html, other]
Title: Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems
Connor Wojtak, Darek Gajewski, Tomas Cerny
Comments: Accepted at MODELS 2025
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[29] arXiv:2509.03093 [pdf, html, other]
Title: Are We SOLID Yet? An Empirical Study on Prompting LLMs to Detect Design Principle Violations
Fatih Pehlivan, Arçin Ülkü Ergüzen, Sahand Moslemi Yengejeh, Mayasah Lami, Anil Koyuncu
Comments: Accepted to ASE2025
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[30] arXiv:2509.03270 [pdf, html, other]
Title: AI Safety Assurance in Electric Vehicles: A Case Study on AI-Driven SOC Estimation
Martin Skoglund, Fredrik Warg, Aria Mirzai, Anders Thorsen, Karl Lundgren, Peter Folkesson, Bastian Havers-zulka
Comments: 12 pages, 9 figures, EVS38, this https URL
Subjects: Software Engineering (cs.SE); Robotics (cs.RO)
[31] arXiv:2509.03331 [pdf, html, other]
Title: VulnRepairEval: An Exploit-Based Evaluation Framework for Assessing Large Language Model Vulnerability Repair Capabilities
Weizhe Wang, Wei Ma, Qiang Hu, Yao Zhang, Jianfei Sun, Bin Wu, Yang Liu, Guangquan Xu, Lingxiao Jiang
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[32] arXiv:2509.03463 [pdf, other]
Title: The Impact of Critique on LLM-Based Model Generation from Natural Language: The Case of Activity Diagrams
Parham Khamsepour, Mark Cole, Ish Ashraf, Sandeep Puri, Mehrdad Sabetzadeh, Shiva Nejati
Subjects: Software Engineering (cs.SE)
[33] arXiv:2509.03541 [pdf, html, other]
Title: Towards the Datasets Used in Requirements Engineering of Mobile Apps: Preliminary Findings from a Systematic Mapping Study
Chong Wang, Haoning Wu, Peng Liang, Maya Daneva, Marten van Sinderen
Subjects: Software Engineering (cs.SE)
[34] arXiv:2509.03554 [pdf, other]
Title: A Multi-stage Error Diagnosis for APB Transaction
Cheng-Yang Tsai, Tzu-Wei Huang, Jen-Wei Shih, I-Hsiang Wang, Yu-Cheng Lin, Rung-Bin Lin
Subjects: Software Engineering (cs.SE)
[35] arXiv:2509.03668 [pdf, html, other]
Title: Parse Tree Tracking Through Time for Programming Process Analysis at Scale
Matt Rau, Chris Brown, John Edwards
Subjects: Software Engineering (cs.SE)
[36] arXiv:2509.03848 [pdf, html, other]
Title: Towards an Understanding of Developer Experience-Driven Transparency in Software Ecosystems
Rodrigo Oliveira Zacarias, Rodrigo Pereira dos Santos, Patricia Lago
Comments: 36 pages Submitted to the ACM Transactions on Software Engineering and Methodology. 2025
Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)
[37] arXiv:2509.03875 [pdf, html, other]
Title: VulRTex: A Reasoning-Guided Approach to Identify Vulnerabilities from Rich-Text Issue Report
Ziyou Jiang, Mingyang Li, Guowei Yang, Lin Shi, Qing Wang
Comments: 25 pages, 7 figures, submitting to TOSEM journal
Subjects: Software Engineering (cs.SE)
[38] arXiv:2509.03876 [pdf, html, other]
Title: Vulnerability-Affected Versions Identification: How Far Are We?
Xingchu Chen, Chengwei Liu, Jialun Cao, Yang Xiao, Xinyue Cai, Yeting Li, Jingyi Shi, Tianqi Sun, Haiming Chen ang Wei Huo
Subjects: Software Engineering (cs.SE)
[39] arXiv:2509.03896 [pdf, html, other]
Title: Analyzing Variations in Dependency Distributions Due to Code Smell Interactions
Zushuai Zhang, Elliott Wen, Ewan Tempero
Subjects: Software Engineering (cs.SE)
[40] arXiv:2509.03900 [pdf, html, other]
Title: The Auth Shim: A Lightweight Architectural Pattern for Integrating Enterprise SSO with Standalone Open-Source Applications
Yuvraj Agrawal
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[41] arXiv:2509.04078 [pdf, html, other]
Title: RepoDebug: Repository-Level Multi-Task and Multi-Language Debugging Evaluation of Large Language Models
Jingjing Liu, Zeming Liu, Zihao Cheng, Mengliang He, Xiaoming Shi, Yuhang Guo, Xiangrong Zhu, Yuanfang Guo, Yunhong Wang, Haifeng Wang
Comments: 30 pages, 12 figures, EMNLP 2025 Findings
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[42] arXiv:2509.04260 [pdf, html, other]
Title: An Empirical Study of Vulnerabilities in Python Packages and Their Detection
Haowei Quan, Junjie Wang, Xinzhe Li, Terry Yue Zhuo, Xiao Chen, Xiaoning Du
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR)
[43] arXiv:2509.04328 [pdf, html, other]
Title: FaaSGuard: Secure CI/CD for Serverless Applications -- An OpenFaaS Case Study
Amine Barrak, Emna Ksontini, Ridouane Atike, Fehmi Jaafar
Comments: IEEE International Conference on Source Code Analysis & Manipulation (SCAM 2025)
Subjects: Software Engineering (cs.SE)
[44] arXiv:2509.04423 [pdf, other]
Title: Design and Development of a Web Platform for Blood Donation Management
Fatima Zulfiqar Ali, Atrooba Ilyas
Comments: 10 pages, 6 figures, conference
Subjects: Software Engineering (cs.SE); Databases (cs.DB)
[45] arXiv:2509.04644 [pdf, other]
Title: Comparative Evaluation of Large Language Models for Test-Skeleton Generation
Subhang Boorlagadda, Nitya Naga Sai Atluri, Muhammet Mustafa Olmez, Edward F. Gehringer
Comments: Forthcoming in Frontiers in Education (FIE 2025), Nashville, Tennessee, USA, Nov 2-5, 2025
Subjects: Software Engineering (cs.SE)
[46] arXiv:2509.04721 [pdf, html, other]
Title: Real-Time Performance Benchmarking of TinyML Models in Embedded Systems (PICO: Performance of Inference, CPU, and Operations)
Abhishek Dey, Saurabh Srivastava, Gaurav Singh, Robert G. Pettit
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[47] arXiv:2509.04763 [pdf, html, other]
Title: NovaQ: Improving Quantum Program Testing through Diversity-Guided Test Case Generation
Tiancheng Jin, Shangzhou Xia, Jianjun Zhao
Comments: 5 pages
Subjects: Software Engineering (cs.SE)
[48] arXiv:2509.04810 [pdf, other]
Title: Code Review Without Borders: Evaluating Synthetic vs. Real Data for Review Recommendation
Yogev Cohen, Dudi Ohayon, Romy Somkin, Yehudit Aperstein, Alexander Apartsin
Comments: 4 pages, 1 figure
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL); Machine Learning (cs.LG)
[49] arXiv:2509.04877 [pdf, html, other]
Title: Integrating Large Language Models in Software Engineering Education: A Pilot Study through GitHub Repositories Mining
Maryam Khan, Muhammad Azeem Akbar, Jussi Kasurinen
Subjects: Software Engineering (cs.SE)
[50] arXiv:2509.04967 [pdf, html, other]
Title: FuzzRDUCC: Fuzzing with Reconstructed Def-Use Chain Coverage
Kai Feng, Jeremy Singer, Angelos K Marnerides
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[51] arXiv:2509.05112 [pdf, html, other]
Title: GenAI-based test case generation and execution in SDV platform
Denesa Zyberaj, Lukasz Mazur, Nenad Petrovic, Pankhuri Verma, Pascal Hirmer, Dirk Slama, Xiangwei Cheng, Alois Knoll
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[52] arXiv:2509.05197 [pdf, html, other]
Title: AI Agents for Web Testing: A Case Study in the Wild
Naimeng Ye, Xiao Yu, Ruize Xu, Tianyi Peng, Zhou Yu
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC)
[53] arXiv:2509.05372 [pdf, html, other]
Title: Adversarial Bug Reports as a Security Risk in Language Model-Based Automated Program Repair
Piotr Przymus (1), Andreas Happe (2), Jürgen Cito (2) ((1) Nicolaus Copernicus University, Toruń, Poland, (2) TU Wienm Vienna, Austria)
Subjects: Software Engineering (cs.SE)
[54] arXiv:2509.05394 [pdf, html, other]
Title: Reverse Browser: Vector-Image-to-Code Generator
Zoltan Toth-Czifra
Comments: Submitted to AIWare 2025 ArXiv Track
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[55] arXiv:2509.05540 [pdf, other]
Title: Combining TSL and LLM to Automate REST API Testing: A Comparative Study
Thiago Barradas, Aline Paes, Vânia de Oliveira Neves
Comments: 10 pages, article computer science, software engineering, software testing, ia, llm
Journal-ref: SBES 2025 39th Brazilian Symposium on Software Engineering
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[56] arXiv:2509.05585 [pdf, html, other]
Title: Natural Language-Programming Language Software Traceability Link Recovery Needs More than Textual Similarity
Zhiyuan Zou, Bangchao Wang, Peng Liang, Tingting Bi, Huan Jin
Comments: 45 pages, 5 images, 11 tables, Manuscript submitted to a Journal (2025)
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[57] arXiv:2509.05596 [pdf, html, other]
Title: Verifying Correctness of PLC Software during System Evolution using Model Containment Approach
Soumyadip Bandyopadhyay, Santonu Sarkar
Comments: 31 pages with appendix
Subjects: Software Engineering (cs.SE); Symbolic Computation (cs.SC)
[58] arXiv:2509.05749 [pdf, other]
Title: Automating API Documentation with LLMs: A BERTopic Approach
AmirHossein Naghshzan
Journal-ref: FSE Companion 2025: Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering Pages 1013-1015
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[59] arXiv:2509.05769 [pdf, other]
Title: IoT Miner: Intelligent Extraction of Event Logs from Sensor Data for Process Mining
Edyta Brzychczy, Urszula Jessen, Krzysztof Kluza, Sridhar Sriram, Manuel Vargas Nettelnstroth
Comments: 17 pages, conference draft
Subjects: Software Engineering (cs.SE)
[60] arXiv:2509.05881 [pdf, html, other]
Title: GeoAnalystBench: A GeoAI benchmark for assessing large language models for spatial analysis workflow and code generation
Qianheng Zhang, Song Gao, Chen Wei, Yibo Zhao, Ying Nie, Ziru Chen, Shijie Chen, Yu Su, Huan Sun
Comments: 34 pages, 8 figures
Journal-ref: Transactions in GIS, 2025
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[61] arXiv:2509.05941 [pdf, html, other]
Title: Code2MCP: Transforming Code Repositories into MCP Services
Chaoqian Ouyang, Ling Yue, Shimin Di, Libin Zheng, Linan Yue, Shaowu Pan, Jian Yin, Min-Ling Zhang
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG); Multiagent Systems (cs.MA)
[62] arXiv:2509.05980 [pdf, html, other]
Title: GRACE: Graph-Guided Repository-Aware Code Completion through Hierarchical Code Fusion
Xingliang Wang, Baoyi Wang, Chen Zhi, Junxiao Han, Xinkui Zhao, Jianwei Yin, Shuiguang Deng
Subjects: Software Engineering (cs.SE)
[63] arXiv:2509.05995 [pdf, html, other]
Title: Students' Perception of LLM Use in Requirements Engineering Education: An Empirical Study Across Two Universities
Sharon Guardado, Risha Parveen, Zheying Zhang, Maruf Rayhan, Nirnaya Tripathi
Comments: Accepted by the 33rd IEEE International Requirements Engineering 2025 (RE'25), Valencia, Spain, September 1-5, 2025
Subjects: Software Engineering (cs.SE)
[64] arXiv:2509.06012 [pdf, html, other]
Title: A Rapid Review Regarding the Concept of Legal Requirements in Requirements Engineering
Jukka Ruohonen
Comments: Submitted to REFSQ 2026
Subjects: Software Engineering (cs.SE)
[65] arXiv:2509.06052 [pdf, html, other]
Title: Empirical Study of Code Large Language Models for Binary Security Patch Detection
Qingyuan Li, Binchang Li, Cuiyun Gao, Shuzheng Gao, Zongjie Li
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR)
[66] arXiv:2509.06085 [pdf, html, other]
Title: Software Dependencies 2.0: An Empirical Study of Reuse and Integration of Pre-Trained Models in Open-Source Projects
Jerin Yasmin, Wenxin Jiang, James C. Davis, Yuan Tian
Comments: Submitted to Empirical Software Engineering (EMSE) Journal
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[67] arXiv:2509.06216 [pdf, html, other]
Title: Agentic Software Engineering: Foundational Pillars and a Research Roadmap
Ahmed E. Hassan, Hao Li, Dayi Lin, Bram Adams, Tse-Hsun Chen, Yutaro Kashiwa, Dong Qiu
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[68] arXiv:2509.06301 [pdf, html, other]
Title: Learning From Software Failures: A Case Study at a National Space Research Center
Dharun Anandayuvaraj, Tanmay Singla, Zain Hammadeh, Andreas Lund, Alexandra Holloway, James C. Davis
Subjects: Software Engineering (cs.SE)
[69] arXiv:2509.06324 [pdf, html, other]
Title: A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation
Zhuohang Shen, Mohammed Yaseen, Denini Silva, Kevin Guan, Junho Lee, Marcelo d'Amorim, Owolabi Legunsen
Comments: 23 pages, 7 figures
Subjects: Software Engineering (cs.SE)
[70] arXiv:2509.06429 [pdf, other]
Title: Analyzing the Instability of Large Language Models in Automated Bug Injection and Correction
Mehmet Bilal Er, Nagehan İlhan, Umut Kuran
Subjects: Software Engineering (cs.SE)
[71] arXiv:2509.06530 [pdf, html, other]
Title: Modeling in the Design Multiverse
Sylvain Guérin, Salvador Martinez, Ciprian Teodorov
Subjects: Software Engineering (cs.SE)
[72] arXiv:2509.06688 [pdf, html, other]
Title: Design and Implementation of a Domain-specific Language for Modelling Evacuation Scenarios Using Eclipse EMG/GMF Tool
Heerok Banerjee
Subjects: Software Engineering (cs.SE)
[73] arXiv:2509.06716 [pdf, html, other]
Title: Efficiently Ranking Software Variants with Minimal Benchmarks
Théo Matricon, Mathieu Acher, Helge Spieker, Arnaud Gotlieb
Subjects: Software Engineering (cs.SE); Performance (cs.PF)
[74] arXiv:2509.06774 [pdf, html, other]
Title: OpenCoderRank: AI-Driven Technical Assessments Made Easy
Hridoy Sankar Dutta, Sana Ansari, Swati Kumari, Shounak Ravi Bhalerao
Subjects: Software Engineering (cs.SE)
[75] arXiv:2509.06911 [pdf, html, other]
Title: Hypergraph-Guided Regex Filter Synthesis for Event-Based Anomaly Detection
Margarida Ferreira, Victor Nicolet, Luan Pham, Joey Dodds, Daniel Kroening, Ines Lynce, Ruben Martins
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[76] arXiv:2509.07449 [pdf, other]
Title: Aspect-Oriented Programming in Secure Software Development: A Case Study of Security Aspects in Web Applications
Mterorga Ukor
Comments: 10 pages, 3 figures
Subjects: Software Engineering (cs.SE)
[77] arXiv:2509.07498 [pdf, html, other]
Title: CRACI: A Cloud-Native Reference Architecture for the Industrial Compute Continuum
Hai Dinh-Tuan
Subjects: Software Engineering (cs.SE)
[78] arXiv:2509.07540 [pdf, html, other]
Title: PatchSeeker: Mapping NVD Records to their Vulnerability-fixing Commits with LLM Generated Commits and Embeddings
Huu Hung Nguyen, Anh Tuan Nguyen, Thanh Le-Cong, Yikun Li, Han Wei Ang, Yide Yin, Frank Liauw, Shar Lwin Khin, Ouh Eng Lieh, Ting Zhang, David Lo
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[79] arXiv:2509.07728 [pdf, html, other]
Title: Bridging the Gap Between Binary and Source Based Package Management in Spack
John Gouwar, Gregory Becker, Tamara Dahlgren, Nathan Hanford, Arjun Guha, Todd Gamblin
Comments: To appear in SC '25
Subjects: Software Engineering (cs.SE)
[80] arXiv:2509.07747 [pdf, html, other]
Title: What's Coming Next? Short-Term Simulation of Business Processes from Current State
Maksym Avramenko, David Chapela-Campa, Marlon Dumas, Fredrik Milani
Subjects: Software Engineering (cs.SE)
[81] arXiv:2509.07763 [pdf, html, other]
Title: What Were You Thinking? An LLM-Driven Large-Scale Study of Refactoring Motivations in Open-Source Projects
Mikel Robredo, Matteo Esposito, Fabio Palomba, Rafael Peñaloza, Valentina Lenarduzzi
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
[82] arXiv:2509.07851 [pdf, other]
Title: "We provide our resources in a dedicated repository": Surveying the Transparency of HICSS publications
Irdin Pekaric, Giovanni Apruzzese
Subjects: Software Engineering (cs.SE)
[83] arXiv:2509.07933 [pdf, html, other]
Title: Breaking Android with AI: A Deep Dive into LLM-Powered Exploitation
Wanni Vidulige Ishan Perera, Xing Liu, Fan liang, Junyi Zhang
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[84] arXiv:2509.08090 [pdf, html, other]
Title: ChatGPT for Code Refactoring: Analyzing Topics, Interaction, and Effective Prompts
Eman Abdullah AlOmar, Luo Xu, Sofia Martinez, Anthony Peruma, Mohamed Wiem Mkaouer, Christian D. Newman, Ali Ouni
Subjects: Software Engineering (cs.SE)
[85] arXiv:2509.08285 [pdf, html, other]
Title: Safety Factories -- a Manifesto
Carmen Cârlan, Daniel Ratiu, Michael Wagner
Comments: Presented at The 44th International Conference on Computer Safety, Reliability and Security (SafeComp 2025)
Subjects: Software Engineering (cs.SE)
[86] arXiv:2509.08389 [pdf, html, other]
Title: The Impact of Team Diversity in Agile Development Education
Marco Torchiano, Riccardo Coppola, Antonio Vetro', Xhoi Musaj
Comments: Post-print of paper published at FSE Companion '25: Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering
Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY)
[87] arXiv:2509.08524 [pdf, html, other]
Title: AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution
Felix Mächtle, Nils Loose, Jan-Niclas Serr, Jonas Sander, Thomas Eisenbarth
Comments: 2025 HUMIES finalist
Journal-ref: 18th ACM/IEEE International Workshop on Search-Based and Fuzz Testing, SBFT 2025
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR)
[88] arXiv:2509.08546 [pdf, other]
Title: Beyond the Binary: The System of All-round Evaluation of Research and Its Practices in China
Yu Zhu, Jiyuan Ye
Comments: STI-ENID 2025 Conference Paer
Subjects: Software Engineering (cs.SE)
[89] arXiv:2509.08667 [pdf, html, other]
Title: Minimal Data, Maximum Clarity: A Heuristic for Explaining Optimization
Amirali Rayegan, Tim Menzies
Subjects: Software Engineering (cs.SE)
[90] arXiv:2509.08724 [pdf, other]
Title: SWE-Mirror: Scaling Issue-Resolving Datasets by Mirroring Issues Across Repositories
Junhao Wang, Daoguang Zan, Shulin Xin, Siyao Liu, Yurong Wu, Kai Shen
Subjects: Software Engineering (cs.SE)
[91] arXiv:2509.08808 [pdf, html, other]
Title: Handling Open-Vocabulary Constructs in Formalizing Specifications: Retrieval-Augmented Parsing with Expert Knowledge
Mohammad Saqib Hasan, Sayontan Ghosh, Dhruv Verma, Geoff Kuenning, Erez Zadok, Scott A. Smolka, Niranjan Balasubramanian
Comments: Accepted to COLM 2024
Subjects: Software Engineering (cs.SE)
[92] arXiv:2509.08843 [pdf, html, other]
Title: Pattern-Based File and Data Access with Python Glob: A Comprehensive Guide for Computational Research
Sidney Shapiro
Subjects: Software Engineering (cs.SE)
[93] arXiv:2509.08857 [pdf, other]
Title: A Systematic Mapping Study on Chatbots in Programming Education
Marcelino Garcia, Renato Garcia, Arthur Parizotto, Andre Mendes, Pedro Valle, Ricardo Vilela, Renato Balancieri, Williamson Silva
Comments: 18 pages, 1 figure, 3 tables
Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)
[94] arXiv:2509.08863 [pdf, other]
Title: GeoJSON Agents:A Multi-Agent LLM Architecture for Geospatial Analysis-Function Calling vs Code Generation
Qianqian Luo, Liuchang Xu, Qingming Lin, Sensen Wu, Ruichen Mao, Chao Wang, Hailin Feng, Bo Huang, Zhenhong Du
Subjects: Software Engineering (cs.SE)
[95] arXiv:2509.08865 [pdf, html, other]
Title: TraceRAG: A LLM-Based Framework for Explainable Android Malware Detection and Behavior Analysis
Guangyu Zhang, Xixuan Wang, Shiyu Sun, Peiyan Xiao, Kun Sun, Yanhai Xiong
Subjects: Software Engineering (cs.SE)
[96] arXiv:2509.08867 [pdf, html, other]
Title: Benchmarking Energy Efficiency of Large Language Models Using vLLM
K. Pronk, Q. Zhao
Comments: 6 pages, 6 figures
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[97] arXiv:2509.09072 [pdf, other]
Title: CLARA: A Developer's Companion for Code Comprehension and Analysis
Ahmed Adnan, Mushfiqur Rahman, Saad Sakib Noor, Kazi Sakib
Comments: In proceedings at the 40th IEEE/ACM International Conference on Automated Software Engineering, ASE 2025
Subjects: Software Engineering (cs.SE)
[98] arXiv:2509.09192 [pdf, html, other]
Title: Probing Pre-trained Language Models on Code Changes: Insights from ReDef, a High-Confidence Just-in-Time Defect Prediction Dataset
Doha Nam, Taehyoun Kim, Duksan Ryu, Jongmoon Baik
Comments: An anonymous link containing the dataset, construction scripts, and experimental code is publicly available for reproducibility: this https URL
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[99] arXiv:2509.09194 [pdf, html, other]
Title: On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability
Ayelet Berzack, Guy Katz
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[100] arXiv:2509.09294 [pdf, other]
Title: Altered Histories in Version Control System Repositories: Evidence from the Trenches
Solal Rapaport (IP Paris, LTCI, ACES, INFRES), Laurent Pautet (INFRES, LTCI, ACES, IP Paris), Samuel Tardieu (INFRES, ACES, IP Paris, LTCI), Stefano Zacchiroli (IP Paris, LTCI, ACES, INFRES)
Journal-ref: 40th IEEE/ACM International Conference on Automated Software Engineering (ASE 2025), IEEE/ACM, Nov 2025, Seoul, South Korea
Subjects: Software Engineering (cs.SE)
[101] arXiv:2509.09313 [pdf, html, other]
Title: Cross-Domain Evaluation of Transformer-Based Vulnerability Detection on Open & Industry Data
Moritz Mock, Thomas Forrer, Barbara Russo
Comments: Accepted to the 26th International Conference on Product-Focused Software Process Improvement (PROFES 2025)
Subjects: Software Engineering (cs.SE)
[102] arXiv:2509.09322 [pdf, html, other]
Title: ORCA: Unveiling Obscure Containers In The Wild
Jacopo Bufalino, Agathe Blaise, Stefano Secci
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[103] arXiv:2509.09614 [pdf, html, other]
Title: LoCoBench: A Benchmark for Long-Context Large Language Models in Complex Software Engineering
Jielin Qiu, Zuxin Liu, Zhiwei Liu, Rithesh Murthy, Jianguo Zhang, Haolin Chen, Shiyu Wang, Ming Zhu, Liangwei Yang, Juntao Tan, Zhepeng Cen, Cheng Qian, Shelby Heinecke, Weiran Yao, Silvio Savarese, Caiming Xiong, Huan Wang
Comments: 53 pages
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[104] arXiv:2509.09630 [pdf, html, other]
Title: I Know Who Clones Your Code: Interpretable Smart Contract Similarity Detection
Zhenguang Liu, Lixun Ma, Zhongzheng Mu, Chengkun Wei, Xiaojun Xu, Yingying Jiao, Kui Ren
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[105] arXiv:2509.09853 [pdf, html, other]
Title: SWE-Effi: Re-Evaluating Software AI Agent System Effectiveness Under Resource Constraints
Zhiyu Fan, Kirill Vasilevski, Dayi Lin, Boyuan Chen, Yihao Chen, Zhiqing Zhong, Jie M. Zhang, Pinjia He, Ahmed E. Hassan
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[106] arXiv:2509.09873 [pdf, other]
Title: From Hugging Face to GitHub: Tracing License Drift in the Open-Source AI Ecosystem
James Jewitt, Hao Li, Bram Adams, Gopi Krishnan Rajbahadur, Ahmed E. Hassan
Comments: 9 pages, 4 figures, 5 tables, pre-print
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[107] arXiv:2509.09917 [pdf, html, other]
Title: SLD-Spec: Enhancement LLM-assisted Specification Generation for Complex Loop Functions via Program Slicing and Logical Deletion
Zehan Chen, Long Zhang, Zhiwei Zhang, JingJing Zhang, Ruoyu Zhou, Yulong Shen, JianFeng Ma, Lin Yang
Comments: 22 pages, 2 figures, conference
Subjects: Software Engineering (cs.SE)
[108] arXiv:2509.09918 [pdf, html, other]
Title: WALL: A Web Application for Automated Quality Assurance using Large Language Models
Seyed Moein Abtahi, Akramul Azim
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[109] arXiv:2509.09947 [pdf, html, other]
Title: Toward Green Code: Prompting Small Language Models for Energy-Efficient Code Generation
Humza Ashraf, Syed Muhammad Danish, Zeeshan Sattar
Subjects: Software Engineering (cs.SE)
[110] arXiv:2509.09975 [pdf, html, other]
Title: Development of Automated Software Design Document Review Methods Using Large Language Models
Takasaburo Fukuda, Takao Nakagawa, Keisuke Miyazaki, Susumu Tokumoto
Comments: SANER 2025
Subjects: Software Engineering (cs.SE)
[111] arXiv:2509.10085 [pdf, html, other]
Title: Sustaining Research Software: A Fitness Function Approach
Philipp Zech, Irdin Pekaric
Subjects: Software Engineering (cs.SE)
[112] arXiv:2509.10099 [pdf, html, other]
Title: Generating Energy-Efficient Code via Large-Language Models -- Where are we now?
Radu Apsan, Vincenzo Stoico, Michel Albonico, Rudra Dhar, Karthik Vaidhyanathan, Ivano Malavolta
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[113] arXiv:2509.10236 [pdf, html, other]
Title: Stencil-Lifting: Hierarchical Recursive Lifting System for Extracting Summary of Stencil Kernel in Legacy Codes
Mingyi Li, Junmin Xiao, Siyan Chen, Hui Ma, Xi Chen, Peihua Bao, Liang Yuan, Guangming Tan
Comments: 33 pages, 12 figures. Submitted to OOPSLA2'25
Subjects: Software Engineering (cs.SE); Performance (cs.PF); Programming Languages (cs.PL)
[114] arXiv:2509.10279 [pdf, html, other]
Title: Targeted Test Selection Approach in Continuous Integration
Pavel Plyusnin, Aleksey Antonov, Vasilii Ermakov, Aleksandr Khaybriev, Margarita Kikot, Ilseyar Alimova, Stanislav Moiseev
Comments: Accepted at ICSME 2025
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[115] arXiv:2509.10402 [pdf, html, other]
Title: Developer-LLM Conversations: An Empirical Study of Interactions and Generated Code Quality
Suzhen Zhong, Ying Zou, Bram Adams
Subjects: Software Engineering (cs.SE)
[116] arXiv:2509.10572 [pdf, html, other]
Title: Quality Assessment of Tabular Data using Large Language Models and Code Generation
Ashlesha Akella, Akshar Kaul, Krishnasuri Narayanam, Sameep Mehta
Comments: under review
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Databases (cs.DB)
[117] arXiv:2509.10649 [pdf, html, other]
Title: Reasonable Experiments in Model-Based Systems Engineering
Johan Cederbladh, Loek Cleophas, Eduard Kamburjan, Lucas Lima, Rakshit Mittal, Hans Vangheluwe
Subjects: Software Engineering (cs.SE); Systems and Control (eess.SY)
[118] arXiv:2509.10819 [pdf, other]
Title: Arguzz: Testing zkVMs for Soundness and Completeness Bugs
Christoph Hochrainer, Valentin Wüstholz, Maria Christakis
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR); Programming Languages (cs.PL)
[119] arXiv:2509.10920 [pdf, other]
Title: TPSQLi: Test Prioritization for SQL Injection Vulnerability Detection in Web Applications
Guan-Yan Yang, Farn Wang, You-Zong Gu, Ya-Wen Teng, Kuo-Hui Yeh, Ping-Hsueh Ho, Wei-Ling Wen
Comments: 20 pages; 8 figures
Journal-ref: Appl. Sci. 2024, 14(18), 8365
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[120] arXiv:2509.10946 [pdf, other]
Title: When the Code Autopilot Breaks: Why LLMs Falter in Embedded Machine Learning
Roberto Morabito, Guanghan Wu
Comments: This paper has been accepted for publication in Computer (IEEE). Upon publication, the copyright will be transferred to IEEE
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[121] arXiv:2509.11000 [pdf, html, other]
Title: Hardness, Structural Knowledge, and Opportunity: An Analytical Framework for Modular Performance Modeling
Omid Gheibi, Christian Kästner, Pooyan Jamshidi
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[122] arXiv:2509.11065 [pdf, other]
Title: ViScratch: Using Large Language Models and Gameplay Videos for Automated Feedback in Scratch
Yuan Si, Daming Li, Hanyuan Shi, Jialu Zhang
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[123] arXiv:2509.11132 [pdf, html, other]
Title: Rethinking Technology Stack Selection with AI Coding Proficiency
Xiaoyu Zhang, Weipeng Jiang, Juan Zhai, Shiqing Ma, Qingshuang Bao, Chenhao Lin, Chao Shen, Tianlin Li, Yang Liu
Comments: 23 pages
Subjects: Software Engineering (cs.SE)
[124] arXiv:2509.11238 [pdf, html, other]
Title: UserTrace: User-Level Requirements Generation and Traceability Recovery from Software Project Repositories
Dongming Jin, Zhi Jin, Yiran Zhang, Zheng Fang, Linyu Li, Yuanpeng He, Xiaohong Chen, Weisong Sun
Comments: 21page, 5 figures
Subjects: Software Engineering (cs.SE)
[125] arXiv:2509.11252 [pdf, html, other]
Title: Beyond Autoregression: An Empirical Study of Diffusion Large Language Models for Code Generation
Chengze li, Yitong Zhang, Jia Li, Liyi Cai, Ge Li
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[126] arXiv:2509.11258 [pdf, html, other]
Title: A Web-Based Environment for the Specification and Generation of Smart Legal Contracts
Regan Meloche, Durga Sivakumar, Amal A. Anda, Sofana Alfuhaid, Daniel Amyot, Luigi Logrippo, John Mylopoulos
Comments: 12 pages, 5 figures, 2 tables, conference
Subjects: Software Engineering (cs.SE)
[127] arXiv:2509.11312 [pdf, html, other]
Title: Weakly Supervised Vulnerability Localization via Multiple Instance Learning
Wenchao Gu, Yupan Chen, Yanlin Wang, Hongyu Zhang, Cuiyun Gao, Michael R. Lyu
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[128] arXiv:2509.11446 [pdf, html, other]
Title: Large Language Models (LLMs) for Requirements Engineering (RE): A Systematic Literature Review
Mohammad Amin Zadenoori, Jacek Dąbrowski, Waad Alhoshan, Liping Zhao, Alessio Ferrari
Subjects: Software Engineering (cs.SE)
[129] arXiv:2509.11523 [pdf, html, other]
Title: VulAgent: Hypothesis-Validation based Multi-Agent Vulnerability Detection
Ziliang Wang, Ge Li, Jia Li, Hao Zhu, Zhi Jin
Subjects: Software Engineering (cs.SE)
[130] arXiv:2509.11566 [pdf, html, other]
Title: Sedeve-Kit, a Specification-Driven Development Framework for Building Distributed Systems
Hua Guo, Yunhong Ji, Xuan Zhou
Subjects: Software Engineering (cs.SE)
[131] arXiv:2509.11626 [pdf, html, other]
Title: Automated Creation and Enrichment Framework for Improved Invocation of Enterprise APIs as Tools
Prerna Agarwal, Himanshu Gupta, Soujanya Soni, Rohith Vallam, Renuka Sindhgatta, Sameep Mehta
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[132] arXiv:2509.11686 [pdf, html, other]
Title: Do Code Semantics Help? A Comprehensive Study on Execution Trace-Based Information for Code Large Language Models
Jian Wang, Xiaofei Xie, Qiang Hu, Shangqing Liu, Yi Li
Comments: EMNLP2025-findings this https URL
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[133] arXiv:2509.11691 [pdf, other]
Title: AI Asset Management for Manufacturing (AIM4M): Development of a Process Model for Operationalization
Lukas Rauh, Mel-Rick Süner, Daniel Schel, Thomas Bauernhansl
Comments: 10 pages, 4 figures, submitted for revision review at International Conference on Industry of the Future and Smart Manufacturing (ISM) 2025
Subjects: Software Engineering (cs.SE)
[134] arXiv:2509.11708 [pdf, html, other]
Title: From Evaluation to Enhancement: Large Language Models for Zero-Knowledge Proof Code Generation
Zhantong Xue, Pingchuan Ma, Zhaoyu Wang, Shuai Wang
Subjects: Software Engineering (cs.SE)
[135] arXiv:2509.11738 [pdf, html, other]
Title: Toward Greener Background Processes -- Measuring Energy Cost of Autosave Feature
Maria Küüsvek, Hina Anwar
Comments: Author version. Accepted for publication in the proceedings of the International Conference on Product-Focused Software Process Improvement (PROFES 2025)
Subjects: Software Engineering (cs.SE)
[136] arXiv:2509.11748 [pdf, html, other]
Title: Analysing Python Machine Learning Notebooks with Moose
Marius Mignard, Steven Costiou, Nicolas Anquetil, Anne Etien
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[137] arXiv:2509.11787 [pdf, html, other]
Title: CodeCureAgent: Automatic Classification and Repair of Static Analysis Warnings
Pascal Joos, Islem Bouzenia, Michael Pradel
Subjects: Software Engineering (cs.SE); Multiagent Systems (cs.MA)
[138] arXiv:2509.11937 [pdf, html, other]
Title: MMORE: Massive Multimodal Open RAG & Extraction
Alexandre Sallinen, Stefan Krsteski, Paul Teiletche, Marc-Antoine Allard, Baptiste Lecoeur, Michael Zhang, Fabrice Nemo, David Kalajdzic, Matthias Meyer, Mary-Anne Hartley
Comments: This paper was originally submitted to the CODEML workshop for ICML 2025. 9 pages (including references and appendices)
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[139] arXiv:2509.11942 [pdf, html, other]
Title: VisDocSketcher: Towards Scalable Visual Documentation with Agentic Systems
Luís F. Gomes, Xin Zhou, David Lo, Rui Abreu
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC)
[140] arXiv:2509.12021 [pdf, html, other]
Title: LitterBox+: An Extensible Framework for LLM-enhanced Scratch Static Code Analysis
Benedikt Fein, Florian Obermüller, Gordon Fraser
Comments: ASE 2025 Tool Demonstration Track
Subjects: Software Engineering (cs.SE)
[141] arXiv:2509.12087 [pdf, html, other]
Title: A New Benchmark for Evaluating Code Translation with Third-Party Libraries
Pengyu Xue, Kunwu Zheng, Zhen Yang, Yifei Pei, Linhao Wu, Jiahui Dong, Xiapu Luo, Yan Xiao, Fei Liu, Yuxuan Zhang, Xiran Lyu, Xianhang Li, Xuanyu Zhu, Chengyi Wang
Subjects: Software Engineering (cs.SE)
[142] arXiv:2509.12159 [pdf, html, other]
Title: EfficientUICoder: Efficient MLLM-based UI Code Generation via Input and Output Token Compression
Jingyu Xiao, Zhongyi Zhang, Yuxuan Wan, Yintong Huo, Yang Liu, Michael R.Lyu
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[143] arXiv:2509.12395 [pdf, html, other]
Title: Evaluating Large Language Models for Functional and Maintainable Code in Industrial Settings: A Case Study at ASML
Yash Mundhra, Max Valk, 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)
[144] arXiv:2509.12421 [pdf, html, other]
Title: Understanding Prompt Management in GitHub Repositories: A Call for Best Practices
Hao Li, Hicham Masri, Filipe R. Cogo, Abdul Ali Bangash, Bram Adams, Ahmed E. Hassan
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[145] arXiv:2509.12443 [pdf, html, other]
Title: From Legacy Fortran to Portable Kokkos: An Autonomous Agentic AI Workflow
Sparsh Gupta, Kamalavasan Kamalakkannan, Maxim Moraru, Galen Shipman, Patrick Diehl
Comments: 11 pages, 6 figures, 7 tables
Subjects: Software Engineering (cs.SE)
[146] arXiv:2509.12466 [pdf, html, other]
Title: Perspectives, Needs and Challenges for Sustainable Software Engineering Teams: A FinServ Case Study
Satwik Ghanta, Peggy Gregory, Gul Calikli
Subjects: Software Engineering (cs.SE)
[147] arXiv:2509.12491 [pdf, html, other]
Title: Good Vibrations? A Qualitative Study of Co-Creation, Communication, Flow, and Trust in Vibe Coding
Veronica Pimenova, Sarah Fakhoury, Christian Bird, Margaret-Anne Storey, Madeline Endres
Comments: 19 pages, 2 figures
Subjects: Software Engineering (cs.SE)
[148] arXiv:2509.12629 [pdf, html, other]
Title: Ensembling Large Language Models for Code Vulnerability Detection: An Empirical Evaluation
Zhihong Sun, Jia Li, Yao Wan, Chuanyi Li, Hongyu Zhang, Zhi jin, Ge Li, Hong Liu, Chen Lyu, Songlin Hu
Comments: 24 pages
Subjects: Software Engineering (cs.SE)
[149] arXiv:2509.12795 [pdf, html, other]
Title: When Large Language Models Meet UAVs: How Far Are We?
Yihua Chen, Xingle Que, Jiashuo Zhang, Ting Chen, Guangshun Li, Jiachi Chen
Subjects: Software Engineering (cs.SE)
[150] arXiv:2509.12798 [pdf, html, other]
Title: LLM-Based Approach for Enhancing Maintainability of Automotive Architectures
Nenad Petrovic, Lukasz Mazur, Alois Knoll
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[151] arXiv:2509.12809 [pdf, html, other]
Title: SateLight: A Satellite Application Update Framework for Satellite Computing
Jinfeng Wen, Jianshu Zhao, Zixi Zhu, Xiaomin Zhang, Qi Liang, Ao Zhou, Shangguang Wang
Comments: This paper has been accepted for publication in ASE 2025!
Subjects: Software Engineering (cs.SE)
[152] arXiv:2509.12973 [pdf, html, other]
Title: Evaluating Large Language Models for Code Translation: Effects of Prompt Language and Prompt Design
Aamer Aljagthami, Mohammed Banabila, Musab Alshehri, Mohammed Kabini, Mohammad D. Alahmadi
Subjects: Software Engineering (cs.SE)
[153] arXiv:2509.13023 [pdf, other]
Title: Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models
Ştefan-Claudiu Susan ("Alexandru Ioan Cuza", University of Iaşi, Department of Computer Science), Andrei Arusoaie ("Alexandru Ioan Cuza", University of Iaşi, Department of Computer Science), Dorel Lucanu ("Alexandru Ioan Cuza", University of Iaşi, Department of Computer Science)
Comments: In Proceedings FROM 2025, arXiv:2509.11877
Journal-ref: EPTCS 427, 2025, pp. 98-116
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[154] arXiv:2509.13025 [pdf, other]
Title: GView: A Survey of Binary Forensics via Visual, Semantic, and AI-Enhanced Analysis
Raul Zaharia (Al. I. Cuza University & Bitdefender), Dragoş Gavriluţ (Al. I. Cuza University & Bitdefender), Gheorghiţă Mutu (Al. I. Cuza University & Bitdefender)
Comments: In Proceedings FROM 2025, arXiv:2509.11877
Journal-ref: EPTCS 427, 2025, pp. 134-140
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[155] arXiv:2509.13055 [pdf, html, other]
Title: Automating Code Generation for Semiconductor Equipment Control from Developer Utterances with LLMs
Youngkyoung Kim, Sanghyeok Park, Misoo Kim, Gangho Yoon, Eunseok Lee, Simon S. Woo
Subjects: Software Engineering (cs.SE)
[156] arXiv:2509.13103 [pdf, html, other]
Title: Accelerating Discovery: Rapid Literature Screening with LLMs
Santiago Matalonga, Domenico Amalfitano, Jean Carlo Rossa Hauck, Martín Solari, Guilherme H. Travassos
Comments: This version of the manuscript has been submitted to Empirical Software Engieering Journal for consideration
Subjects: Software Engineering (cs.SE)
[157] arXiv:2509.13117 [pdf, html, other]
Title: Vulnerability Patching Across Software Products and Software Components: A Case Study of Red Hat's Product Portfolio
Jukka Ruohonen, Sani Abdullahi, Abhishek Tiwari
Comments: Submitted to SecITC 2025
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[158] arXiv:2509.13134 [pdf, html, other]
Title: Optimizing Code Embeddings and ML Classifiers for Python Source Code Vulnerability Detection
Talaya Farasat, Joachim Posegga
Subjects: Software Engineering (cs.SE)
[159] arXiv:2509.13144 [pdf, html, other]
Title: Towards the Next Generation of Software: Insights from Grey Literature on AI-Native Applications
Lingli Cao, Shanshan Li, Ying Fan, Danyang Li, Chenxing Zhong
Subjects: Software Engineering (cs.SE)
[160] arXiv:2509.13436 [pdf, html, other]
Title: Is Research Software Science a Metascience?
Evan Eisinger, Michael A. Heroux
Comments: 5 pages
Subjects: Software Engineering (cs.SE)
[161] arXiv:2509.13471 [pdf, html, other]
Title: An LLM Agentic Approach for Legal-Critical Software: A Case Study for Tax Prep Software
Sina Gogani-Khiabani (University of Illinois Chicago), Ashutosh Trivedi (University of Colorado Boulder), Diptikalyan Saha (IBM Research), Saeid Tizpaz-Niari (University of Illinois Chicago)
Comments: To appear at ICSE 26. 12 pages
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[162] arXiv:2509.13487 [pdf, html, other]
Title: Prompt2DAG: A Modular Methodology for LLM-Based Data Enrichment Pipeline Generation
Abubakari Alidu, Michele Ciavotta, Flavio DePaoli
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[163] arXiv:2509.13535 [pdf, html, other]
Title: Crash Report Enhancement with Large Language Models: An Empirical Study
S M Farah Al Fahim, Md Nakhla Rafi, Zeyang Ma, Dong Jae Kim, Tse-Hsun (Peter)Chen
Subjects: Software Engineering (cs.SE)
[164] arXiv:2509.13650 [pdf, html, other]
Title: GitHub's Copilot Code Review: Can AI Spot Security Flaws Before You Commit?
Amena Amro, Manar H. Alalfi
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[165] arXiv:2509.13656 [pdf, html, other]
Title: A Regression Testing Framework with Automated Assertion Generation for Machine Learning Notebooks
Yingao Elaine Yao, Vedant Nimje, Varun Viswanath, Saikat Dutta
Comments: 22 pages, 2 figures, 6 tables
Subjects: Software Engineering (cs.SE)
[166] arXiv:2509.13680 [pdf, html, other]
Title: Prompt Stability in Code LLMs: Measuring Sensitivity across Emotion- and Personality-Driven Variations
Wei Ma, Yixiao Yang, Jingquan Ge, Xiaofei Xie, Lingxiao Jiang
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[167] arXiv:2509.13755 [pdf, html, other]
Title: Scrub It Out! Erasing Sensitive Memorization in Code Language Models via Machine Unlearning
Zhaoyang Chu, Yao Wan, Zhikun Zhang, Di Wang, Zhou Yang, Hongyu Zhang, Pan Zhou, Xuanhua Shi, Hai Jin, David Lo
Comments: Accepted at the 48th IEEE/ACM International Conference on Software Engineering (ICSE 2026)
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR)
[168] arXiv:2509.13758 [pdf, html, other]
Title: A Study on Thinking Patterns of Large Reasoning Models in Code Generation
Kevin Halim, Sin G. Teo, Ruitao Feng, Zhenpeng Chen, Yang Gu, Chong Wang, Yang Liu
Subjects: Software Engineering (cs.SE)
[169] arXiv:2509.13782 [pdf, html, other]
Title: Who is Introducing the Failure? Automatically Attributing Failures of Multi-Agent Systems via Spectrum Analysis
Yu Ge (1), Linna Xie (1), Zhong Li (1), Yu Pei (2), Tian Zhang (1) ((1) Nanjing University, (2) The Hong Kong Polytechnic University)
Comments: 20 pages, 6 figures
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA)
[170] arXiv:2509.13852 [pdf, html, other]
Title: Trace Sampling 2.0: Code Knowledge Enhanced Span-level Sampling for Distributed Tracing
Yulun Wu, Guangba Yu, Zhihan Jiang, Yichen Li, Michael R. Lyu
Subjects: Software Engineering (cs.SE)
[171] arXiv:2509.13868 [pdf, html, other]
Title: Are Prompts All You Need? Evaluating Prompt-Based Large Language Models (LLM)s for Software Requirements Classification
Manal Binkhonain, Reem Alfayaz
Comments: 33 pages, 12 figures
Subjects: Software Engineering (cs.SE)
[172] arXiv:2509.13896 [pdf, html, other]
Title: Mind the Ethics! The Overlooked Ethical Dimensions of GenAI in Software Modeling Education
Shalini Chakraborty, Lola Burgueño, Nathalie Moreno, Javier Troya, Paula Muñoz
Comments: 8 pages, Educators Symposium at MODELS 2025
Subjects: Software Engineering (cs.SE)
[173] arXiv:2509.13941 [pdf, html, other]
Title: An Empirical Study on Failures in Automated Issue Solving
Simiao Liu, Fang Liu, Liehao Li, Xin Tan, Yinghao Zhu, Xiaoli Lian, Li Zhang
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL)
[174] arXiv:2509.13942 [pdf, html, other]
Title: Evaluating Classical Software Process Models as Coordination Mechanisms for LLM-Based Software Generation
Duc Minh Ha, Phu Trac Kien, Tho Quan, Anh Nguyen-Duc
Subjects: Software Engineering (cs.SE)
[175] arXiv:2509.14093 [pdf, html, other]
Title: Reasoning Efficiently Through Adaptive Chain-of-Thought Compression: A Self-Optimizing Framework
Kerui Huang, Shuhan Liu, Xing Hu, Tongtong Xu, Lingfeng Bao, Xin Xia
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL)
[176] arXiv:2509.14265 [pdf, html, other]
Title: Evolution of Kernels: Automated RISC-V Kernel Optimization with Large Language Models
Siyuan Chen, Zhichao Lu, Qingfu Zhang
Comments: Technical report
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[177] arXiv:2509.14273 [pdf, html, other]
Title: Automated and Context-Aware Code Documentation Leveraging Advanced LLMs
Swapnil Sharma Sarker, Tanzina Taher Ifty
Subjects: Software Engineering (cs.SE)
[178] arXiv:2509.14279 [pdf, other]
Title: Towards Robust Agentic CUDA Kernel Benchmarking, Verification, and Optimization
Robert Tjarko Lange, Qi Sun, Aaditya Prasad, Maxence Faldor, Yujin Tang, David Ha
Comments: 62 pages, 10 figures
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[179] arXiv:2509.14281 [pdf, other]
Title: SCoGen: Scenario-Centric Graph-Based Synthesis of Real-World Code Problems
Xifeng Yao, Dongyu Lang, Wu Zhang, Xintong Guo, Huarui Xie, Yinhao Ni, Ping Liu, Guang Shen, Yi Bai, Dandan Tu, Changzheng Zhang
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[180] arXiv:2509.14294 [pdf, html, other]
Title: Monitoring Machine Learning Systems: A Multivocal Literature Review
Hira Naveed, Scott Barnett, Chetan Arora, John Grundy, Hourieh Khalajzadeh, Omar Haggag
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[181] arXiv:2509.14347 [pdf, html, other]
Title: On the Illusion of Success: An Empirical Study of Build Reruns and Silent Failures in Industrial CI
Henri Aïdasso, Francis Bordeleau, Ali Tizghadam
Comments: 17 pages, 7 figures
Subjects: Software Engineering (cs.SE)
[182] arXiv:2509.14373 [pdf, html, other]
Title: CodeLSI: Leveraging Foundation Models for Automated Code Generation with Low-Rank Optimization and Domain-Specific Instruction Tuning
Huy Le, Phong Nguyen, Hao Do, Tuan Nguyen, Thien Pham, Anh Nguyen-Duc, Tho Quan
Subjects: Software Engineering (cs.SE)
[183] arXiv:2509.14404 [pdf, html, other]
Title: A Taxonomy of Prompt Defects in LLM Systems
Haoye Tian, Chong Wang, BoYang Yang, Lyuye Zhang, Yang Liu
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Programming Languages (cs.PL)
[184] arXiv:2509.14483 [pdf, html, other]
Title: An LLM-based multi-agent framework for agile effort estimation
Thanh-Long Bui, Hoa Khanh Dam, Rashina Hoda
Comments: Submitted to ASE'25
Subjects: Software Engineering (cs.SE)
[185] arXiv:2509.14623 [pdf, other]
Title: Automating Modelica Module Generation Using Large Language Models: A Case Study on Building Control Description Language
Hanlong Wan, Xing Lu, Yan Chen, Karthik Devaprasad, Laura Hinkle
Comments: This is the pre-peer-review version of a journal paper; the repo is available at: this https URL
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Programming Languages (cs.PL); Systems and Control (eess.SY)
[186] arXiv:2509.14626 [pdf, html, other]
Title: Evaluating the Effectiveness of Coverage-Guided Fuzzing for Testing Deep Learning Library APIs
Feiran Qin, M. M. Abid Naziri, Hengyu Ai, Saikat Dutta, Marcelo d'Amorim
Subjects: Software Engineering (cs.SE)
[187] arXiv:2509.14646 [pdf, html, other]
Title: SALT4Decompile: Inferring Source-level Abstract Logic Tree for LLM-Based Binary Decompilation
Yongpan Wang, Xin Xu, Xiaojie Zhu, Xiaodong Gu, Beijun Shen
Comments: 13 pages, 7 figures
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[188] arXiv:2509.14740 [pdf, other]
Title: Wireless Communication Performance Testing: From Laboratory Environment to Research Vessel
Andrei-Raoul Morariu, Andreas Strandberg, Bogdan Iancu, Jerker Bjorkqvist
Comments: 5 pages, 4 figures, 2 tables
Subjects: Software Engineering (cs.SE)
[189] arXiv:2509.14744 [pdf, html, other]
Title: On the Use of Agentic Coding Manifests: An Empirical Study of Claude Code
Worawalan Chatlatanagulchai, Kundjanasith Thonglek, Brittany Reid, Yutaro Kashiwa, Pattara Leelaprute, Arnon Rungsawang, Bundit Manaskasemsak, Hajimu Iida
Subjects: Software Engineering (cs.SE)
[190] arXiv:2509.14745 [pdf, html, other]
Title: On the Use of Agentic Coding: An Empirical Study of Pull Requests on GitHub
Miku Watanabe, Hao Li, Yutaro Kashiwa, Brittany Reid, Hajimu Iida, Ahmed E. Hassan
Subjects: Software Engineering (cs.SE)
[191] arXiv:2509.14829 [pdf, html, other]
Title: RulER: Automated Rule-Based Semantic Error Localization and Repair for Code Translation
Shuo Jin, Songqiang Chen, Xiaoyuan Xie, Shing-Chi Cheung
Comments: Due to the limitation "The abstract field cannot be longer than 1,920 characters", the abstract here is shorter than that in the PDF file
Subjects: Software Engineering (cs.SE)
[192] arXiv:2509.14856 [pdf, html, other]
Title: CodeFuse-CR-Bench: A Comprehensiveness-aware Benchmark for End-to-End Code Review Evaluation in Python Projects
Hanyang Guo, Xunjin Zheng, Zihan Liao, Hang Yu, Peng DI, Ziyin Zhang, Hong-Ning Dai
Subjects: Software Engineering (cs.SE)
[193] arXiv:2509.14899 [pdf, html, other]
Title: CARGO: A Framework for Confidence-Aware Routing of Large Language Models
Amine Barrak, Yosr Fourati, Michael Olchawa, Emna Ksontini, Khalil Zoghlami
Journal-ref: 35th IEEE International Conference on Collaborative Advances in Software and Computing 2025
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[194] arXiv:2509.14931 [pdf, html, other]
Title: "Let it be Chaos in the Plumbing!" Usage and Efficacy of Chaos Engineering in DevOps Pipelines
Stefano Fossati, Damian Andrew Tamburri, Massimiliano Di Penta, Marco Tonnarelli
Comments: To be published in the Proceedings of International Conference on Software Maintenance and Evolution 2025
Subjects: Software Engineering (cs.SE)
[195] arXiv:2509.15150 [pdf, other]
Title: Code Less to Code More: Streamlining Language Server Protocol and Type System Development for Language Families
Federico Bruzzone, Walter Cazzola, Luca Favalli
Comments: 34 pages, 10 figures, Journal of Systems and Software, June 2025, for the replication package, see this https URL
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[196] arXiv:2509.15195 [pdf, html, other]
Title: Orion: Fuzzing Workflow Automation
Max Bazalii, Marius Fleischer
Comments: 11 pages, 3 figures, 3 tables
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR)
[197] arXiv:2509.15283 [pdf, html, other]
Title: Evaluating the Limitations of Local LLMs in Solving Complex Programming Challenges
Kadin Matotek, Heather Cassel, Md Amiruzzaman, Linh B. Ngo
Comments: Comments: 16 pages, 3 figures, 8 tables, accepted to CCSC Eastern 2025
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Programming Languages (cs.PL)
[198] arXiv:2509.15397 [pdf, html, other]
Title: LoCaL: Countering Surface Bias in Code Evaluation Metrics
Simantika Bhattacharjee Dristi, Matthew B. Dwyer
Subjects: Software Engineering (cs.SE)
[199] arXiv:2509.15567 [pdf, html, other]
Title: Brevity is the Soul of Wit: Condensing Code Changes to Improve Commit Message Generation
Hongyu Kuang, Ning Zhang, Hui Gao, Xin Zhou, Wesley K. G. Assunção, Xiaoxing Ma, Dong Shao, Guoping Rong, He Zhang
Subjects: Software Engineering (cs.SE)
[200] arXiv:2509.15777 [pdf, html, other]
Title: Revisiting Vulnerability Patch Localization: An Empirical Study and LLM-Based Solution
Haoran Xu, Chen Zhi, Junxiao Han, Xinkui Zhao, Jianwei Yin, Shuiguang Deng
Subjects: Software Engineering (cs.SE)
[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)
[251] arXiv:2509.20387 [pdf, html, other]
Title: Towards Systematic Specification and Verification of Fairness Requirements: A Position Paper
Qusai Ramadan, Jukka Ruohonen, Abhishek Tiwari, Adam Alami, Zeyd Boukhers
Comments: Accepted at the 2025 IEEE 33rd International Requirements Engineering Conference Workshops
Subjects: Software Engineering (cs.SE)
[252] arXiv:2509.20415 [pdf, html, other]
Title: Online-Optimized RAG for Tool Use and Function Calling
Yu Pan, Xiaocheng Li, Hanzhao Wang
Subjects: Software Engineering (cs.SE)
[253] arXiv:2509.20421 [pdf, html, other]
Title: Formal Verification of Legal Contracts: A Translation-based Approach (Extended Version)
Reiner Hähnle, Cosimo Laneve, Adele Veschetti
Subjects: Software Engineering (cs.SE)
[254] arXiv:2509.20491 [pdf, html, other]
Title: AI-Specific Code Smells: From Specification to Detection
Brahim Mahmoudi, Naouel Moha, Quentin Stievenert, Florent Avellaneda
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[255] arXiv:2509.20497 [pdf, html, other]
Title: PromptDebt: A Comprehensive Study of Technical Debt Across LLM Projects
Ahmed Aljohani, Hyunsook Do
Comments: Accepted at Proceedings of the 2025 Evaluation and Assessment in Software Engineering (EASE '25)
Subjects: Software Engineering (cs.SE)
[256] arXiv:2509.20518 [pdf, other]
Title: Enhancing Python Programming Education with an AI-Powered Code Helper: Design, Implementation, and Impact
Sayed Mahbub Hasan Amiri, Md Mainul Islam
Comments: 20 pages, 16 figures
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[257] arXiv:2509.20552 [pdf, html, other]
Title: Enhancing LLM-based Fault Localization with a Functionality-Aware Retrieval-Augmented Generation Framework
Xinyu Shi, Zhenhao Li, An Ran Chen
Subjects: Software Engineering (cs.SE)
[258] arXiv:2509.20631 [pdf, html, other]
Title: Design, Implementation and Evaluation of a Novel Programming Language Topic Classification Workflow
Michael Zhang, Yuan Tian, Mariam Guizani
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[259] arXiv:2509.20780 [pdf, html, other]
Title: Exploring Engagement in Hybrid Meetings
Daniela Grassi, Fabio Calefato, Darja Smite, Nicole Novielli, Filippo Lanubile
Journal-ref: In Proc. of 19th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM'25), 2025
Subjects: Software Engineering (cs.SE)
[260] arXiv:2509.20837 [pdf, html, other]
Title: Verification Limits Code LLM Training
Srishti Gureja, Elena Tommasone, Jingyi He, Sara Hooker, Matthias Gallé, Marzieh Fadaee
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL)
[261] arXiv:2509.20881 [pdf, html, other]
Title: PseudoBridge: Pseudo Code as the Bridge for Better Semantic and Logic Alignment in Code Retrieval
Yixuan Li, Xinyi Liu, Weidong Yang, Ben Fei, Shuhao Li, Mingjie Zhou, Lipeng Ma
Subjects: Software Engineering (cs.SE)
[262] arXiv:2509.21067 [pdf, html, other]
Title: Designing for Novice Debuggers: A Pilot Study on an AI-Assisted Debugging Tool
Oka Kurniawan, Erick Chandra, Christopher M. Poskitt, Yannic Noller, Kenny Tsu Wei Choo, Cyrille Jegourel
Comments: Accepted by the 25th Koli Calling International Conference on Computing Education Research (Koli Calling 2025)
Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY)
[263] arXiv:2509.21068 [pdf, html, other]
Title: An Improved Quantum Software Challenges Classification Approach using Transfer Learning and Explainable AI
Nek Dil Khan, Javed Ali Khan, Mobashir Husain, Muhammad Sohail Khan, Arif Ali Khan, Muhammad Azeem Akbar, Shahid Hussain
Subjects: Software Engineering (cs.SE)
[264] arXiv:2509.21170 [pdf, html, other]
Title: Fine-Tuning LLMs to Analyze Multiple Dimensions of Code Review: A Maximum Entropy Regulated Long Chain-of-Thought Approach
Yongda Yu, Guohao Shi, Xianwei Wu, Haochuan He, XueMing Gu, Qianqian Zhao, Kui Liu, Qiushi Wang, Zhao Tian, Haifeng Shen, Guoping Rong
Comments: 22 pages
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[265] arXiv:2509.21292 [pdf, html, other]
Title: Semantic Clustering of Civic Proposals: A Case Study on Brazil's National Participation Platform
Ronivaldo Ferreira, Guilherme da Silva, Carla Rocha, Gustavo Pinto
Comments: 12 pages, in Portuguese language
Subjects: Software Engineering (cs.SE)
[266] arXiv:2509.21427 [pdf, html, other]
Title: Extracting Conceptual Knowledge to Locate Software Issues
Ying Wang, Wenjun Mao, Chong Wang, Zhenhao Zhou, Yicheng Zhou, Wenyun Zhao, Yiling Lou, Xin Peng
Subjects: Software Engineering (cs.SE)
[267] arXiv:2509.21533 [pdf, html, other]
Title: Lost in Transition: The Struggle of Women Returning to Software Engineering Research after Career Breaks
Shalini Chakraborty, Sebastian Baltes
Comments: 3 pages, published in the Proceedings of the 18th International Conference on Cooperative and Human Aspects of Software Engineering (CHASE 2025)
Subjects: Software Engineering (cs.SE)
[268] arXiv:2509.21816 [pdf, html, other]
Title: No More Manual Guides: Automatic and Scalable Generation of High-Quality Excel Tutorials
Yuhang Xie (1), Jian Mu (2), Xiaojun Ma (3), Chaoyun Zhang (3), Lu Wang (3), Mengyu Zhou (3), Mugeng Liu (1), Si Qin (3), Qingwei Lin (3), Saravan Rajmohan (3), Shi Han (3), Dongmei Zhang (3) ((1) Peking University, (2) Nanjing University, (3) Microsoft)
Subjects: Software Engineering (cs.SE)
[269] arXiv:2509.21881 [pdf, html, other]
Title: Software Engineering Data Analytics: A Framework Based on a Multi-Layered Abstraction Mechanism
Chaman Wijesiriwardana, Prasad Wimalaratne
Subjects: Software Engineering (cs.SE)
[270] arXiv:2509.21891 [pdf, html, other]
Title: AgentPack: A Dataset of Code Changes, Co-Authored by Agents and Humans
Yangtian Zi, Zixuan Wu, Aleksander Boruch-Gruszecki, Jonathan Bell, Arjun Guha
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL)
[271] arXiv:2509.21945 [pdf, other]
Title: Unveiling Many Faces of Surrogate Models for Configuration Tuning: A Fitness Landscape Analysis Perspective
Pengzhou Chen, Hongyuan Liang, Tao Chen
Comments: This paper is under review
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[272] arXiv:2509.22097 [pdf, html, other]
Title: SecureAgentBench: Benchmarking Secure Code Generation under Realistic Vulnerability Scenarios
Junkai Chen, Huihui Huang, Yunbo Lyu, Junwen An, Jieke Shi, Chengran Yang, Ting Zhang, Haoye Tian, Yikun Li, Zhenhao Li, Xin Zhou, Xing Hu, David Lo
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Cryptography and Security (cs.CR)
[273] arXiv:2509.22114 [pdf, html, other]
Title: SK2Decompile: LLM-based Two-Phase Binary Decompilation from Skeleton to Skin
Hanzhuo Tan, Weihao Li, Xiaolong Tian, Siyi Wang, Jiaming Liu, Jing Li, Yuqun Zhang
Subjects: Software Engineering (cs.SE)
[274] arXiv:2509.22170 [pdf, html, other]
Title: Leveraging LLM Agents for Automated Video Game Testing
Chengjia Wang, Lanling Tang, Ming Yuan, Jiongchi Yu, Xiaofei Xie, Jiajun Bu
Comments: 17 pages
Subjects: Software Engineering (cs.SE)
[275] arXiv:2509.22202 [pdf, other]
Title: Library Hallucinations in LLMs: Risk Analysis Grounded in Developer Queries
Lukas Twist, Jie M. Zhang, Mark Harman, Helen Yannakoudakis
Comments: 23 pages, 5 tables
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL)
[276] arXiv:2509.22320 [pdf, html, other]
Title: Green Prompt Engineering: Investigating the Energy Impact of Prompt Design in Software Engineering
Vincenzo De Martino, Mohammad Amin Zadenoori, Xavier Franch, Alessio Ferrari
Subjects: Software Engineering (cs.SE)
[277] arXiv:2509.22337 [pdf, html, other]
Title: GPU-Accelerated Loopy Belief Propagation for Program Analysis
Haoyu Feng, Xin Zhang
Subjects: Software Engineering (cs.SE)
[278] arXiv:2509.22379 [pdf, html, other]
Title: A Multi-Modality Evaluation of the Reality Gap in Autonomous Driving Systems
Stefano Carlo Lambertenghi, Mirena Flores Valdez, Andrea Stocco
Comments: In proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering (ASE '25)
Subjects: Software Engineering (cs.SE); Robotics (cs.RO)
[279] arXiv:2509.22420 [pdf, html, other]
Title: Context-Specific Instruction: A Longitudinal Study on Debugging Skill Acquisition and Retention for Novice Programmers
Ziyi Zhang, Devjeet Roy, Venera Arnaoudova
Comments: 31 pages (25 pages for the paper, rest pages are references and appendix). 4 tables, 7 figures
Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY)
[280] arXiv:2509.22431 [pdf, html, other]
Title: TreeMind: Automatically Reproducing Android Bug Reports via LLM-empowered Monte Carlo Tree Search
Zhengyu Chen, Zhaoyi Meng, Wenxiang Zhao, Wansen Wang, Haoyang Zhao, Jiahao Zhan, Jie Cui, Hong Zhong
Subjects: Software Engineering (cs.SE)
[281] arXiv:2509.22530 [pdf, html, other]
Title: Boosting Pointer Analysis With Large Language Model-Enhanced Allocation Function Detection
Baijun Cheng, Kailong Wang, Ling Shi, Haoyu Wang, Peng Di, Yao Guo, Ding Li, Xiangqun Chen
Subjects: Software Engineering (cs.SE)
[282] arXiv:2509.22908 [pdf, html, other]
Title: A benchmark for vericoding: formally verified program synthesis
Sergiu Bursuc (BAIF), Theodore Ehrenborg (BAIF), Shaowei Lin (BAIF), Lacramioara Astefanoaei (BAIF), Ionel Emilian Chiosa (MIT), Jure Kukovec (BAIF), Alok Singh (BAIF), Oliver Butterley (BAIF), Adem Bizid (BAIF), Quinn Dougherty (BAIF), Miranda Zhao (MIT), Max Tan (MIT), Max Tegmark (MIT)
Comments: 25 pages, 1 figure; data available at this https URL
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG); Programming Languages (cs.PL)
[283] arXiv:2509.22978 [pdf, html, other]
Title: Towards Human-interpretable Explanation in Code Clone Detection using LLM-based Post Hoc Explainer
Teeradaj Racharak, Chaiyong Ragkhitwetsagul, Chayanee Junplong, Akara Supratak
Subjects: Software Engineering (cs.SE)
[284] arXiv:2509.23261 [pdf, html, other]
Title: The Matthew Effect of AI Programming Assistants: A Hidden Bias in Software Evolution
Fei Gu, Zi Liang, Hongzong LI, Jiahao MA
Subjects: Software Engineering (cs.SE)
[285] arXiv:2509.23297 [pdf, other]
Title: Code Arcades: 3d Visualization of Classes, Dependencies and Software Metrics
Anthony Savidis, Christos Vasilopoulos
Subjects: Software Engineering (cs.SE); Graphics (cs.GR); Human-Computer Interaction (cs.HC)
[286] arXiv:2509.23469 [pdf, other]
Title: Methods for evaluating software accessibility
Mykola Kuz, Ivan Yaremiy, Hanna Yaremii, Mykola Pikuliak, Ihor Lazarovych, Mykola Kozlenko, Denys Vekeryk
Comments: 10 pages, 4 figures, 1 table
Journal-ref: Radio Electronics, Computer Science, Control, no. 3, pp. 163-172, Sept. 22, 2025
Subjects: Software Engineering (cs.SE)
[287] arXiv:2509.23586 [pdf, html, other]
Title: Improving the Efficiency of LLM Agent Systems through Trajectory Reduction
Yuan-An Xiao, Pengfei Gao, Chao Peng, Yingfei Xiong
Comments: 20 pages, 4 figures
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[288] arXiv:2509.23645 [pdf, html, other]
Title: Similarity-Based Assessment of Computational Reproducibility in Jupyter Notebooks
A S M Shahadat Hossain, Colin Brown, David Koop, Tanu Malik
Comments: 10 pages
Journal-ref: ACM Conference on Reproducibility and Replicability, 2025
Subjects: Software Engineering (cs.SE); Databases (cs.DB)
[289] arXiv:2509.23675 [pdf, html, other]
Title: PAT-Agent: Autoformalization for Model Checking
Xinyue Zuo, Yifan Zhang, Hongshu Wang, Yufan Cai, Zhe Hou, Jing Sun, Jin Song Dong
Comments: Accepted in ASE 2025 (International Conference on Automated Software Engineering)
Subjects: Software Engineering (cs.SE)
[290] arXiv:2509.23679 [pdf, html, other]
Title: Satellite: Detecting and Analyzing Smart Contract Vulnerabilities caused by Subcontract Misuse
Zeqin Liao, Yuhong Nan, Zixu Gao, Henglong Liang, Sicheng Hao, Jiajing Wu, Zibin Zheng
Comments: This is the author version of the article accepted for publication in IEEE Transactions on Software Engineering. The final version is available at https://doi.org/10.1109/TSE.2025.3613470
Subjects: Software Engineering (cs.SE)
[291] arXiv:2509.23806 [pdf, html, other]
Title: Influence-Guided Concolic Testing of Transformer Robustness
Chih-Duo Hong, Yu Wang, Yao-Chen Chang, Fang Yu
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[292] arXiv:2509.23812 [pdf, html, other]
Title: Navigating the Labyrinth: Path-Sensitive Unit Test Generation with Large Language Models
Dianshu Liao, Xin Yin, Shidong Pan, Chao Ni, Zhenchang Xing, Xiaoyu Sun
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[293] arXiv:2509.23824 [pdf, html, other]
Title: SolContractEval: A Benchmark for Evaluating Contract-Level Solidity Code Generation
Zhifan Ye, Jiachi Chen, Zhenzhe Shao, Lingfeng Bao, Xiaohu Yang, Zhongxin Liu
Subjects: Software Engineering (cs.SE)
[294] arXiv:2509.23835 [pdf, html, other]
Title: HFuzzer: Testing Large Language Models for Package Hallucinations via Phrase-based Fuzzing
Yukai Zhao, Menghan Wu, Xing Hu, Xin Xia
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[295] arXiv:2509.23961 [pdf, html, other]
Title: Learning-Based Testing for Deep Learning: Enhancing Model Robustness with Adversarial Input Prioritization
Sheikh Md Mushfiqur Rahman, Nasir Eisty
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[296] arXiv:2509.24032 [pdf, html, other]
Title: SandCell: Sandboxing Rust Beyond Unsafe Code
Jialun Zhang, Merve Gülmez, Thomas Nyman, Gang Tan
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[297] arXiv:2509.24091 [pdf, html, other]
Title: PerfBench: Can Agents Resolve Real-World Performance Bugs?
Spandan Garg, Roshanak Zilouchian Moghaddam
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Performance (cs.PF)
[298] arXiv:2509.24148 [pdf, other]
Title: TENET: Leveraging Tests Beyond Validation for Code Generation
Yiran Hu, Nan Jiang, Shanchao Liang, Yi Wu, Lin Tan
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[299] arXiv:2509.24215 [pdf, html, other]
Title: Metamorphic Testing for Audio Content Moderation Software
Wenxuan Wang, Yongjiang Wu, Junyuan Zhang, Shuqing Li, Yun Peng, Wenting Chen, Shuai Wang, Michael R. Lyu
Comments: Accepted by ASE 2025
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Multimedia (cs.MM)
[300] arXiv:2509.24344 [pdf, html, other]
Title: Comparing Open-Source and Commercial LLMs for Domain-Specific Analysis and Reporting: Software Engineering Challenges and Design Trade-offs
Theo Koraag, Niklas Wagner, Felix Dobslaw, Lucas Gren
Subjects: Software Engineering (cs.SE)
[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)
[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)
[426] arXiv:2509.20068 (cross-list from cs.NI) [pdf, html, other]
Title: A Novel Short-Term Anomaly Prediction for IIoT with Software Defined Twin Network
Bilal Dalgic (1), Betul Sen (1), Muge Erel-Ozcevik (1) ((1) Manisa Celal Bayar University, Turkey)
Comments: Accepted by 2025 IEEE Globecom Workshops-TwinNetApp
Subjects: Networking and Internet Architecture (cs.NI); Machine Learning (cs.LG); Software Engineering (cs.SE)
[427] arXiv:2509.20384 (cross-list from cs.CR) [pdf, html, other]
Title: R1-Fuzz: Specializing Language Models for Textual Fuzzing via Reinforcement Learning
Jiayi Lin, Liangcai Su, Junzhe Li, Chenxiong Qian
Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI); Programming Languages (cs.PL); Software Engineering (cs.SE)
[428] arXiv:2509.20426 (cross-list from cs.PL) [pdf, other]
Title: Dual-Language General-Purpose Self-Hosted Visual Language and new Textual Programming Language for Applications
Mahmoud Samir Fayed
Comments: PhD thesis
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[429] arXiv:2509.20525 (cross-list from quant-ph) [pdf, html, other]
Title: Towards a user-centric HPC-QC environment
Aleksander Wennersteen, Matthieu Moreau, Aurelien Nober, Mourad Beji
Comments: 9 Pages, accepted to SFWM workshop at SC25
Subjects: Quantum Physics (quant-ph); Software Engineering (cs.SE)
[430] arXiv:2509.20798 (cross-list from cs.AI) [pdf, html, other]
Title: LogReasoner: Empowering LLMs with Expert-like Coarse-to-Fine Reasoning for Automated Log Analysis
Lipeng Ma, Yixuan Li, Weidong Yang, Mingjie Zhou, Xinyi Liu, Ben Fei, Shuhao Li, Xiaoyan Sun, Sihang Jiang, Yanghua Xiao
Comments: under review
Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[431] arXiv:2509.21011 (cross-list from cs.CR) [pdf, html, other]
Title: Automatic Red Teaming LLM-based Agents with Model Context Protocol Tools
Ping He, Changjiang Li, Binbin Zhao, Tianyu Du, Shouling Ji
Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[432] arXiv:2509.21677 (cross-list from cs.LG) [pdf, html, other]
Title: Prophecy: Inferring Formal Properties from Neuron Activations
Divya Gopinath, Corina S. Pasareanu, Muhammad Usman
Subjects: Machine Learning (cs.LG); Software Engineering (cs.SE)
[433] arXiv:2509.21914 (cross-list from cs.HC) [pdf, html, other]
Title: The MUG-10 Framework for Preventing Usability Issues in Mobile Application Development
Pawel Weichbroth, Tomasz Szot
Comments: 26 pages, 3 figures, 1 table, 110 references
Subjects: Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)
[434] arXiv:2509.22040 (cross-list from cs.CR) [pdf, html, other]
Title: "Your AI, My Shell": Demystifying Prompt Injection Attacks on Agentic AI Coding Editors
Yue Liu, Yanjie Zhao, Yunbo Lyu, Ting Zhang, Haoyu Wang, David Lo
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[435] arXiv:2509.22237 (cross-list from cs.CL) [pdf, html, other]
Title: FeatBench: Evaluating Coding Agents on Feature Implementation for Vibe Coding
Haorui Chen, Chengze Li, Jia Li
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[436] arXiv:2509.22704 (cross-list from cs.DC) [pdf, other]
Title: Intelligent Load Balancing in Cloud Computer Systems
Leszek Sliwko
Comments: A thesis submitted in partial fulfilment of the requirements of the University of Westminster for the degree of Doctor of Philosophy
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[437] arXiv:2509.22900 (cross-list from cs.CR) [pdf, html, other]
Title: Towards Context-aware Mobile Privacy Notice: Implementation of A Deployable Contextual Privacy Policies Generator
Haochen Gong, Zhen Tao, Shidong Pan, Zhenchang Xing, Xiaoyu Sun
Comments: Accepted by ASE 2025, Tool Demonstration Track
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[438] arXiv:2509.23045 (cross-list from cs.AI) [pdf, html, other]
Title: Kimi-Dev: Agentless Training as Skill Prior for SWE-Agents
Zonghan Yang, Shengjie Wang, Kelin Fu, Wenyang He, Weimin Xiong, Yibo Liu, Yibo Miao, Bofei Gao, Yejie Wang, Yingwei Ma, Yanhao Li, Yue Liu, Zhenxing Hu, Kaitai Zhang, Shuyi Wang, Huarong Chen, Flood Sung, Yang Liu, Yang Gao, Zhilin Yang, Tianyu Liu
Comments: 58 pages
Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Software Engineering (cs.SE)
[439] arXiv:2509.23449 (cross-list from cs.AI) [pdf, html, other]
Title: Beyond Embeddings: Interpretable Feature Extraction for Binary Code Similarity
Charles E. Gagnon, Steven H. H. Ding, Philippe Charland, Benjamin C. M. Fung
Comments: 17 pages, 7 figures, submitted to USENIX Security '26
Subjects: Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[440] arXiv:2509.23680 (cross-list from cs.CR) [pdf, html, other]
Title: A First Look at Privacy Risks of Android Task-executable Voice Assistant Applications
Shidong Pan, Yikai Ge, Xiaoyu Sun
Comments: Accepted by APSEC 2025
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[441] arXiv:2509.23686 (cross-list from cs.CL) [pdf, html, other]
Title: TF-Bench: Evaluating Program Semantics Reasoning with Type Inference in System F
Yifeng He, Luning Yang, Christopher Castro Gaw Gonzalo, Hao Chen
Comments: NeurIPS '25, package released at: this https URL
Subjects: Computation and Language (cs.CL); Programming Languages (cs.PL); Software Engineering (cs.SE)
[442] arXiv:2509.23735 (cross-list from cs.AI) [pdf, html, other]
Title: Diagnosing Failure Root Causes in Platform-Orchestrated Agentic Systems: Dataset, Taxonomy, and Benchmark
Xuyan Ma, Xiaofei Xie, Yawen Wang, Junjie Wang, Boyu Wu, Mingyang Li, Qing Wang
Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[443] arXiv:2509.23864 (cross-list from cs.AI) [pdf, html, other]
Title: AgentGuard: Runtime Verification of AI Agents
Roham Koohestani
Comments: Accepted for publication in the proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, ASE 2025, in the 1st international workshop on Agentic Software Engineering (AgenticSE)
Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[444] arXiv:2509.24030 (cross-list from cs.DC) [pdf, html, other]
Title: From Edge to HPC: Investigating Cross-Facility Data Streaming Architectures
Anjus George, Michael Brim, Christopher Zimmer, David Rogers, Sarp Oral, Zach Mayes
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[445] arXiv:2509.24272 (cross-list from cs.CR) [pdf, html, other]
Title: When MCP Servers Attack: Taxonomy, Feasibility, and Mitigation
Weibo Zhao, Jiahao Liu, Bonan Ruan, Shaofei Li, Zhenkai Liang
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[446] arXiv:2509.24443 (cross-list from cs.AI) [pdf, html, other]
Title: A Systematic Review of Digital Twin-Driven Predictive Maintenance in Industrial Engineering: Taxonomy, Architectural Elements, and Future Research Directions
Leila Ismail, Abdelmoneim Abdelmoti, Arkaprabha Basu, Aymen Dia Eddine Berini, Mohammad Naouss
Subjects: Artificial Intelligence (cs.AI); Emerging Technologies (cs.ET); Software Engineering (cs.SE)
[447] arXiv:2509.24592 (cross-list from cs.AI) [pdf, html, other]
Title: BPMN Assistant: An LLM-Based Approach to Business Process Modeling
Josip Tomo Licardo, Nikola Tankovic, Darko Etinger
Comments: 12 pages, 4 figures
Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[448] arXiv:2509.24927 (cross-list from cs.AI) [pdf, html, other]
Title: When Autonomous Vehicle Meets V2X Cooperative Perception: How Far Are We?
An Guo, Shuoxiao Zhang, Enyi Tang, Xinyu Gao, Haomin Pang, Haoxiang Tian, Yanzhou Mu, Wu Wen, Chunrong Fang, Zhenyu Chen
Comments: The paper has been accepted by the 40th IEEE/ACM International Conference on Automated Software Engineering, ASE 2025
Journal-ref: Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering.2025
Subjects: Artificial Intelligence (cs.AI); Robotics (cs.RO); Software Engineering (cs.SE)
[449] arXiv:2509.24996 (cross-list from math.OC) [pdf, html, other]
Title: Addressing Methodological Uncertainty in MCDM with a Systematic Pipeline Approach to Data Transformation Sensitivity Analysis
Juan B. Cabral, Alvaro Roy Schachner
Subjects: Optimization and Control (math.OC); Software Engineering (cs.SE)
[450] arXiv:2509.25250 (cross-list from cs.AI) [pdf, html, other]
Title: Memory Management and Contextual Consistency for Long-Running Low-Code Agents
Jiexi Xu
Comments: 12 pages, 5 figures, 1 table
Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[451] arXiv:2509.25264 (cross-list from cs.DB) [pdf, other]
Title: GeoSQL-Eval: First Evaluation of LLMs on PostGIS-Based NL2GeoSQL Queries
Shuyang Hou, Haoyue Jiao, Ziqi Liu, Lutong Xie, Guanyu Chen, Shaowen Wu, Xuefeng Guan, Huayi Wu
Subjects: Databases (cs.DB); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Software Engineering (cs.SE)
[452] arXiv:2509.25282 (cross-list from cs.AI) [pdf, html, other]
Title: Toward Causal-Visual Programming: Enhancing Agentic Reasoning in Low-Code Environments
Jiexi Xu, Jiaqi Liu, Ran Tong, Su Liu
Comments: 5 pages, 1 table
Subjects: Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)
[453] arXiv:2509.25504 (cross-list from cs.HC) [pdf, html, other]
Title: XR Blocks: Accelerating Human-centered AI + XR Innovation
David Li, Nels Numan, Xun Qian, Yanhe Chen, Zhongyi Zhou, Evgenii Alekseev, Geonsun Lee, Alex Cooper, Min Xia, Scott Chung, Jeremy Nelson, Xiuxiu Yuan, Jolica Dias, Tim Bettridge, Benjamin Hersh, Michelle Huynh, Konrad Piascik, Ricardo Cabello, David Kim, Ruofei Du
Subjects: Human-Computer Interaction (cs.HC); Artificial Intelligence (cs.AI); Graphics (cs.GR); Software Engineering (cs.SE)
[454] arXiv:2509.25671 (cross-list from cs.CL) [pdf, html, other]
Title: The Flaw of Averages: Quantifying Uniformity of Performance on Benchmarks
Arda Uzunoglu, Tianjian Li, Daniel Khashabi
Subjects: Computation and Language (cs.CL); Software Engineering (cs.SE)
[455] arXiv:2509.25873 (cross-list from cs.AI) [pdf, html, other]
Title: Lita: Light Agent Uncovers the Agentic Coding Capabilities of LLMs
Hankun Dai, Maoquan Wang, Mengnan Qi, Yikai Zhang, Zijian Jin, Yongqiang Yao, Yufan Huang, Shengyu Fu, Elsie Nallipogu
Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG); Programming Languages (cs.PL); Software Engineering (cs.SE)
[456] arXiv:2509.26161 (cross-list from cs.AI) [pdf, html, other]
Title: 90% Faster, 100% Code-Free: MLLM-Driven Zero-Code 3D Game Development
Runxin Yang, Yuxuan Wan, Shuqing Li, Michael R. Lyu
Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[457] arXiv:2509.26476 (cross-list from cs.CL) [pdf, html, other]
Title: Regression Language Models for Code
Yash Akhauri, Xingyou Song, Arissa Wongpanich, Bryan Lewandowski, Mohamed S. Abdelfattah
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Performance (cs.PF); Software Engineering (cs.SE)
[458] arXiv:2509.26529 (cross-list from cs.DC) [pdf, other]
Title: CSnake: Detecting Self-Sustaining Cascading Failure via Causal Stitching of Fault Propagations
Shangshu Qian, Lin Tan, Yongle Zhang
Comments: Accepted by EuroSys 2026
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)
[459] arXiv:2509.26584 (cross-list from cs.AI) [pdf, html, other]
Title: Fairness Testing in Retrieval-Augmented Generation: How Small Perturbations Reveal Bias in Small Language Models
Matheus Vinicius da Silva de Oliveira, Jonathan de Andrade Silva, Awdren de Lima Fontao
Subjects: Artificial Intelligence (cs.AI); Information Retrieval (cs.IR); Machine Learning (cs.LG); Software Engineering (cs.SE)
Total of 459 entries
Showing up to 2000 entries per page: fewer | more | all