Skip to main content
This website is in trial operation, support us!
We gratefully acknowledge support from all contributors.
Contribute Donate

Software Engineering

Authors and titles for recent submissions

See today's new changes

Total of 100 entries : 1-50 51-100
Showing up to 50 entries per page: fewer | more | all

Mon, 29 Sep 2025 (showing 20 of 20 entries )

[1] arXiv:2509.22530 (cross-list from cs.SE) [cn-pdf, 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)
[2] arXiv:2509.22431 (cross-list from cs.SE) [cn-pdf, 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)
[3] arXiv:2509.22420 (cross-list from cs.SE) [cn-pdf, 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)
[4] arXiv:2509.22379 (cross-list from cs.SE) [cn-pdf, 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)
[5] arXiv:2509.22337 (cross-list from cs.SE) [cn-pdf, pdf, html, other]
Title: GPU-Accelerated Loopy Belief Propagation for Program Analysis
Haoyu Feng, Xin Zhang
Subjects: Software Engineering (cs.SE)
[6] arXiv:2509.22320 (cross-list from cs.SE) [cn-pdf, 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)
[7] arXiv:2509.22202 (cross-list from cs.SE) [cn-pdf, 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)
[8] arXiv:2509.22170 (cross-list from cs.SE) [cn-pdf, 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)
[9] arXiv:2509.22114 (cross-list from cs.SE) [cn-pdf, 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)
[10] arXiv:2509.22097 (cross-list from cs.SE) [cn-pdf, 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)
[11] arXiv:2509.21945 (cross-list from cs.SE) [cn-pdf, 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)
[12] arXiv:2509.21891 (cross-list from cs.SE) [cn-pdf, 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)
[13] arXiv:2509.21881 (cross-list from cs.SE) [cn-pdf, 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)
[14] arXiv:2509.21816 (cross-list from cs.SE) [cn-pdf, 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)
[15] arXiv:2509.21533 (cross-list from cs.SE) [cn-pdf, 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)
[16] arXiv:2509.21427 (cross-list from cs.SE) [cn-pdf, 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)
[17] arXiv:2509.22237 (cross-list from cs.CL) [cn-pdf, 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)
[18] arXiv:2509.22040 (cross-list from cs.CR) [cn-pdf, 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)
[19] arXiv:2509.21914 (cross-list from cs.HC) [cn-pdf, 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)
[20] arXiv:2509.21677 (cross-list from cs.LG) [cn-pdf, 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)

Fri, 26 Sep 2025 (showing 23 of 23 entries )

[21] arXiv:2509.21292 (cross-list from cs.SE) [cn-pdf, 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)
[22] arXiv:2509.21170 (cross-list from cs.SE) [cn-pdf, 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)
[23] arXiv:2509.21068 (cross-list from cs.SE) [cn-pdf, 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)
[24] arXiv:2509.21067 (cross-list from cs.SE) [cn-pdf, 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)
[25] arXiv:2509.20881 (cross-list from cs.SE) [cn-pdf, 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)
[26] arXiv:2509.20837 (cross-list from cs.SE) [cn-pdf, 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)
[27] arXiv:2509.20780 (cross-list from cs.SE) [cn-pdf, 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)
[28] arXiv:2509.20631 (cross-list from cs.SE) [cn-pdf, 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)
[29] arXiv:2509.20552 (cross-list from cs.SE) [cn-pdf, 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)
[30] arXiv:2509.20518 (cross-list from cs.SE) [cn-pdf, 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)
[31] arXiv:2509.20497 (cross-list from cs.SE) [cn-pdf, 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)
[32] arXiv:2509.20491 (cross-list from cs.SE) [cn-pdf, 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)
[33] arXiv:2509.20421 (cross-list from cs.SE) [cn-pdf, 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)
[34] arXiv:2509.20415 (cross-list from cs.SE) [cn-pdf, pdf, html, other]
Title: Online-Optimized RAG for Tool Use and Function Calling
Yu Pan, Xiaocheng Li, Hanzhao Wang
Subjects: Software Engineering (cs.SE)
[35] arXiv:2509.20387 (cross-list from cs.SE) [cn-pdf, 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)
[36] arXiv:2509.20386 (cross-list from cs.SE) [cn-pdf, 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)
[37] arXiv:2509.20385 (cross-list from cs.SE) [cn-pdf, 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)
[38] arXiv:2509.20380 (cross-list from cs.SE) [cn-pdf, 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)
[39] arXiv:2509.21011 (cross-list from cs.CR) [cn-pdf, 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)
[40] arXiv:2509.20798 (cross-list from cs.AI) [cn-pdf, pdf, html, other]
Title: LogReasoner: Empowering LLMs with Expert-like Coarse-to-Fine Reasoning for Log Analysis Tasks
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)
[41] arXiv:2509.20525 (cross-list from quant-ph) [cn-pdf, 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)
[42] arXiv:2509.20426 (cross-list from cs.PL) [cn-pdf, 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)
[43] arXiv:2509.20384 (cross-list from cs.CR) [cn-pdf, 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)

Thu, 25 Sep 2025 (showing first 7 of 16 entries )

[44] arXiv:2509.20353 (cross-list from cs.SE) [cn-pdf, 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)
[45] arXiv:2509.20308 (cross-list from cs.SE) [cn-pdf, 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)
[46] arXiv:2509.20300 (cross-list from cs.SE) [cn-pdf, pdf, html, other]
Title: Confidentiality-Preserving Verifiable Business Processes through Zero-Knowledge Proofs
Jannis Kiesel, Jonathan Heiss
Subjects: Software Engineering (cs.SE)
[47] arXiv:2509.20215 (cross-list from cs.SE) [cn-pdf, 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)
[48] arXiv:2509.20172 (cross-list from cs.SE) [cn-pdf, 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)
[49] arXiv:2509.20149 (cross-list from cs.SE) [cn-pdf, 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)
[50] arXiv:2509.20136 (cross-list from cs.SE) [cn-pdf, 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)
Total of 100 entries : 1-50 51-100
Showing up to 50 entries per page: fewer | more | all