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 : 51-300 251-459
Showing up to 250 entries per page: fewer | more | all
[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, Shadikur Rahman, 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: Analyzing and Mitigating 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
Comments: Accepted by ASE25
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)
Total of 459 entries : 51-300 251-459
Showing up to 250 entries per page: fewer | more | all