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 recent submissions

See today's new changes

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

Mon, 1 Jun 2026 (showing 15 of 15 entries )

[1] arXiv:2605.31520 [pdf, html, other]
Title: Separating Secrets from Placeholders: A Hybrid CNN-CodeBERT Framework for Three-Class Credential Leakage Detection
Maksuda Bilkis Baby, Khushika Shah, Naiyue Liang, Lei Zhang
Comments: Accepted at ICSME 2026 (International Conference on Software Maintenance and Evolution)
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR)
[2] arXiv:2605.31478 [pdf, html, other]
Title: Knowledge Boundary Probing and Demand-Guided Intervention for LLM-Based Power System Code Generation
Hui Wu, Xiaoyang Wang, Zhong Fan
Comments: 43 pages, 12 figures, includes supplementary material
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL); Systems and Control (eess.SY)
[3] arXiv:2605.31458 [pdf, html, other]
Title: Ladder Logic Translation using Large Language Models in Industrial Automation
Oluwatosin Ogundare, Promise Ekpo, Nathanial Wiggins
Subjects: Software Engineering (cs.SE); Systems and Control (eess.SY)
[4] arXiv:2605.31316 [pdf, html, other]
Title: Governance-Aware Software Architecture for Multi-Stakeholder Platforms
Michael Nwankwo, Eric Umuhoza
Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY)
[5] arXiv:2605.30907 [pdf, html, other]
Title: BlueFin: Benchmarking LLM Agents on Financial Spreadsheets
Srivatsa Kundurthy, Clara Na, Colton Moraine, Anoushka Mohta, Case Winter, George Fang, John Ling, Emma Strubell, Zach Kirshner
Comments: 26 pages
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG)
[6] arXiv:2605.30777 [pdf, html, other]
Title: What Breaks When LLMs Code? Characterizing Operational Safety Failures of Agentic Code Assistants
Alif Al Hasan, Sumon Biswas
Subjects: Software Engineering (cs.SE)
[7] arXiv:2605.30555 [pdf, html, other]
Title: Neurodiversity in Agile Teams: Obstacles and Inclusion Barriers
Lars Struck, Christian Veenaas, Robert Wiedekind, Joshua Riechmann, Maria Rauschenberger, Philipp Diebold, Simone Dogu, Michael Neumann
Subjects: Software Engineering (cs.SE)
[8] arXiv:2605.30478 [pdf, html, other]
Title: Improving Small Language Models for Code Generation with Reinforcement Learning from Verification Feedback
Egor Skopin, Evgeny Kotelnikov
Comments: Accepted for AINL-2026 conference
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL)
[9] arXiv:2605.30394 [pdf, other]
Title: CodeGolf Bench: A Multi-Language Benchmark for Evaluating Concise Code Generation Capabilities of Large Language Models
Vedant Padwal
Comments: 12 pages, 6 figures, 5 tables
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[10] arXiv:2605.31135 (cross-list from cs.CR) [pdf, html, other]
Title: R+R: Reassessing Java Security API Misuse in Current LLMs: A Replication on JCA and JSSE APIs with External Security Knowledge
Tianhe Lu (1), Eric Spero (1), Sakuna Harinda Jayasundara (1), Robert Biddle (1), Giovanni Russello (1) ((1) School of Computer Science, University of Auckland, New Zealand)
Comments: 17 pages, 7 figures. Preprint
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[11] arXiv:2605.31058 (cross-list from cs.CL) [pdf, html, other]
Title: Combinatorial Synthesis: Scaling Code RLVR via Atomic Decomposition and Recombination
Jiasheng Zheng, Boxi Cao, Boxi Yu, Yuzhong Zhang, Jialun Cao, Yaojie Lu, Hongyu Lin, Xianpei Han, Le Sun
Comments: Work in progress
Subjects: Computation and Language (cs.CL); Software Engineering (cs.SE)
[12] arXiv:2605.30914 (cross-list from cs.LG) [pdf, html, other]
Title: Automating Formal Verification with Reinforcement Learning and Recursive Inference
Max Tan
Comments: Master's thesis, 140 pages, 16 figures, 17 tables
Subjects: Machine Learning (cs.LG); Software Engineering (cs.SE)
[13] arXiv:2605.30697 (cross-list from cs.CR) [pdf, other]
Title: FASR: Automated Identification of Unsafe Control Actions in STPA
Ian Dardik, Yining She, Sam Procter, Keaton Hanna, Lutz Wrage, Eunsuk Kang
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[14] arXiv:2605.30677 (cross-list from cs.CR) [pdf, html, other]
Title: Investigating Detection and Obfuscation of Prompt Injection Attacks Against Software Reverse Engineering AI Agents
Brian Crawford, Patrick McClure
Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[15] arXiv:2605.30359 (cross-list from cs.NE) [pdf, html, other]
Title: Kernel Foundry: A Diagnosis-driven Evolutionary Kernel Optimizer with Multi-Experts
Zixuan Huang, Da Chen, Kecheng Huang, Lihao Yin, Xing Li, Huiling Zhen, Mingxuan Yuan, Zili Shao
Subjects: Neural and Evolutionary Computing (cs.NE); Distributed, Parallel, and Cluster Computing (cs.DC); Machine Learning (cs.LG); Performance (cs.PF); Software Engineering (cs.SE); Systems and Control (eess.SY)

Fri, 29 May 2026 (showing 27 of 27 entries )

[16] arXiv:2605.30208 [pdf, html, other]
Title: Automating Low-Risk Code Review at Meta: RADAR, Risk Calibration, and Review Efficiency
Chris Adams, Arjun Singh Banga, Parveen Bansal, Souvik Bhattacharya, Rujin Cao, Pedro Canahuati, Nate Cook, Brian Ellis, Prabhakar Goyal, Gurinder Grewal, Tianyu He, Matt Labunka, Alex Manners, David Molnar, Ging Cee Ng, Vishal Parekh, Jiefu Pei, Frederic Sagnes, James Saindon, Will Shackleton, Sid Sidhu, Gursharan Singh, Karthik Chengayan Sridhar, Matt Steiner, Pratibha Udmalpet, Sean Xia, Stacey Yan, Audris Mockus, Peter Rigby, Nachiappan Nagappan
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[17] arXiv:2605.30105 [pdf, html, other]
Title: EvoRepair: Enhancing Vulnerability Repair Agents Through Experience-Based Self-Evolution
Haichuan Hu, Guoqing Xie, Quanjun Zhang, Jiawei Liu, Shengcheng Yu, Chunrong Fang, Zhenyu Chen, Liang Xiao
Subjects: Software Engineering (cs.SE)
[18] arXiv:2605.30054 [pdf, html, other]
Title: Projectional Decoding: Towards Semantic-Aware LLM Generation
Boqi Chen, José Antonio Hernández López, Aren A. Babikian
Comments: 5 pages, 3 figures. Accepted at FSE 2026 IVR track
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[19] arXiv:2605.30052 [pdf, html, other]
Title: REPOT: Recoverable Program-of-Thought via Checkpoint Repair
Parsa Mazaheri
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL)
[20] arXiv:2605.29910 [pdf, html, other]
Title: Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents
Xiang Liu, Sa Song, Zhaowei Zhang, Huiying Lan, Jason Zeng, Ming Wu, Michael Heinrich, Yong Sun, Ceyao Zhang
Comments: 35 pages, 4 figures
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[21] arXiv:2605.29869 [pdf, html, other]
Title: TagDebt: A Bot to Support Technical Debt Management
João Paulo Biazotto, Daniel Feitosa, Paris Avgeriou, Elisa Yumi Nakagawa
Subjects: Software Engineering (cs.SE)
[22] arXiv:2605.29822 [pdf, html, other]
Title: Inferring Code Correctness from Specification
Tambon Florian, Papadakis Mike
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[23] arXiv:2605.29532 [pdf, html, other]
Title: GUITestScape: Towards Open-set Evaluation on Exploratory GUI Testing
Xiaoyi Chen, Yifei Gao, Yang Xu, Xingxing Song, Yi Zhang, Jitao Sang
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[24] arXiv:2605.29490 [pdf, html, other]
Title: CODEFUSE-DEBENCH: An Empirical Study on Readability, Recompilability, and Functionality
Puzhuo Liu, Yuhan Huang, Jianlei Chi, Peng Di, Yu Jiang
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[25] arXiv:2605.29456 [pdf, html, other]
Title: Usability Analysis of Configurator User Interfaces with Multimodal Large Language Models
Sebastian Lubos, Alexander Felfernig, Damian Garber, Adnan Kraljić, Tarik Kraljić, Viet-Man Le, Thi Ngoc Trang Tran, Gerhard Leitner, Julian Schwazer, Doris Suppan, Reinhard Willfort, Ivan Dukic, Jeremias Fuchs, Manuel Henrich
Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)
[26] arXiv:2605.29442 [pdf, html, other]
Title: How Coding Agents Fail Their Users: A Large-Scale Analysis of Developer-Agent Misalignment in 20,574 Real-World Sessions
Ningzhi Tang, Chaoran Chen, Gelei Xu, Yiyu Shi, Yu Huang, Collin McMillan, Tao Dong, Toby Jia-Jun Li
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC)
[27] arXiv:2605.29392 [pdf, html, other]
Title: Offloading Score: Measuring AI Reliance Through Counterfactual Workflows
Vishakh Padmakumar, Lujain Ibrahim, Zora Zhiruo Wang, Jennifer Wang, Q. Vera Liao, Diyi Yang
Comments: Preprint
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL); Computers and Society (cs.CY); Human-Computer Interaction (cs.HC)
[28] arXiv:2605.29372 [pdf, html, other]
Title: On the Road to Personalized Code Intelligence: Portraiting and Assisting Developers Based on Their In-IDE Behaviors
Yuhong Liu, Yunhe Su, Zhipeng Peng, Zhiwen Luo, Lin Shi, Zhi Jin, Li Zhang
Comments: 23 pages, 6 figures, accepted by FSE`2026
Subjects: Software Engineering (cs.SE)
[29] arXiv:2605.29277 [pdf, html, other]
Title: Code-QA-Bench: Separating Code Reasoning from Documentation Memorization in Repository-Level QA
Jun Zhang, JianYing Qu, Hanwen Du, Zhongkai Sun, Yehua Yang, Qiao Zhao
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[30] arXiv:2605.29059 [pdf, html, other]
Title: SCDBench: A Benchmark for LLM-Based Smart Contract Decompilers
Kaihua Qin, Dawn Song, Arthur Gervais
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR)
[31] arXiv:2605.29054 [pdf, html, other]
Title: Converted, Not Equivalent: Benchmarking Codebase Conversion via Observational Equivalence
Linxin Song, Jiefeng Chen, Yue Huang, Bhavana Dalvi Mishra, Chi Wang, Jieyu Zhao, Jinsung Yoon, Tomas Pfister
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL)
[32] arXiv:2605.28989 [pdf, other]
Title: Generalized Software Product Line Extraction
Federico Bruzzone, Walter Cazzola, Luca Favalli
Comments: 17 pages, 3 figures, 4 listings
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[33] arXiv:2605.28893 [pdf, html, other]
Title: Towards Demystifying and Repairing LLM-in-the-Loop Vulnerabilities
Yujie Ma, Jialin Rong, Chenxi Yang, Lili Quan, Xiaofei Xie, Yongqiang Lyu, Qiang Hu
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[34] arXiv:2605.28876 [pdf, html, other]
Title: LogDx-CI: Benchmarking Log Reduction Tools for LLM Root-Cause Diagnosis
Bowen Qin
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[35] arXiv:2605.30353 (cross-list from cs.AI) [pdf, html, other]
Title: Physics Is All You Need? A Case Study in Physicist-Supervised AI Development of Scientific Software
Nhat-Minh Nguyen
Comments: 10 pages, 2 figures, 2 tables, 1 physicist and a few AI agents. Accepted by ICML 2026 AI for Science Workshop. Code and development log are available at this repo: this https URL
Subjects: Artificial Intelligence (cs.AI); Cosmology and Nongalactic Astrophysics (astro-ph.CO); Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)
[36] arXiv:2605.30001 (cross-list from cs.ET) [pdf, html, other]
Title: The Rise of the Software-Defined Vehicle: Architectures, Enabling Technologies, and Future Opportunities
Eirini Liotou, Dimitra Tzelalidou, Gerasimos Christodoulou
Comments: Under review at IEEE Open Journal of Vehicular Technology
Subjects: Emerging Technologies (cs.ET); Software Engineering (cs.SE)
[37] arXiv:2605.29872 (cross-list from quant-ph) [pdf, other]
Title: Claim against Measurement: Statistical Artefacts in Quantum Error Mitigation Benchmarks
Dominik Köster, Wolfgang Mauerer
Comments: 10 pages excluding references, 8 Figures, 3 Tables
Subjects: Quantum Physics (quant-ph); Software Engineering (cs.SE)
[38] arXiv:2605.29737 (cross-list from cs.CR) [pdf, html, other]
Title: Minimal Prompt Perturbations Lead to Code Vulnerabilities: Prompt Fragility and Hidden-State Signals in Coding LLMs
Alexander Sternfeld, Andrei Kucharavy, Ljiljana Dolamic
Subjects: Cryptography and Security (cs.CR); Computation and Language (cs.CL); Software Engineering (cs.SE)
[39] arXiv:2605.29620 (cross-list from cs.CR) [pdf, other]
Title: Control Flow Graph Recovery for Dynamically Loaded Code via Symbolic Library Resolution
Oleksandr Mostovyi
Comments: 6 pages, 5 figures
Journal-ref: Bulletin of the National Technical University "KhPI". Series: System Analysis, Control and Information Technologies, No. 1 (15), pp. 74-79, 2026
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[40] arXiv:2605.29561 (cross-list from cs.AI) [pdf, html, other]
Title: ParaTool: Shifting Tool Representations from Context to Parameters
Zekai Yu, Qi Meng, Qizhi Chu, Yu Hao, Chuan Shi, Cheng Yang
Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[41] arXiv:2605.28840 (cross-list from cs.CL) [pdf, html, other]
Title: How Consistent Are LLM Agents? Measuring Behavioral Reproducibility in Multi-Step Tool-Calling Pipelines
Abel Yagubyan
Comments: 16 pages, 6 figures
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[42] arXiv:2605.28830 (cross-list from cs.CL) [pdf, html, other]
Title: Benchmarking Open-Source Safety Guard Models: A Comprehensive Evaluation
Reetu Raj Harsh, Bhaskarjit Sarmah, Stefano Pasquali
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)

Thu, 28 May 2026 (showing first 8 of 18 entries )

[43] arXiv:2605.28546 [pdf, html, other]
Title: A Minimal Executable Proof for Multi-Language Contract Traceability
Werner Kasselman
Comments: 8 pages, 0 figures; executable artifact report. Code: this https URL Spec: this https URL
Subjects: Software Engineering (cs.SE)
[44] arXiv:2605.28515 [pdf, other]
Title: Do LLMs Favor Their Providers? Measuring Vertical Integration Bias in Code Generation
Melih Catal, Alex Wolf, Tiago Ferreiro Matos, Pooja Rani, Harald Gall
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[45] arXiv:2605.28510 [pdf, html, other]
Title: Efficient and Scalable Provenance Tracking for LLM-Generated Code Snippets
Andrea Gurioli, Davide D'Ascenzo, Federico Pennino, Maurizio Gabbrielli, Stefano Zacchiroli
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Information Retrieval (cs.IR)
[46] arXiv:2605.28482 [pdf, html, other]
Title: Rethinking Software Empirical Studies with Structural Causal Models
Daniel Rodriguez-Cardenas, Aya Garryyeva, David Nader Palacio, Antonio Mastropaolo, Denys Poshyvanyk
Comments: 22 pages
Subjects: Software Engineering (cs.SE)
[47] arXiv:2605.28321 [pdf, html, other]
Title: Multi-Agent LLM-based Metamorphic Testing for REST APIs
Shehroz Khan, Abdullah Mughees, Gaadha Sudheerbabu, Tanwir Ahmad, Dragos Truscan
Comments: Author submitted version accepted for publication the IEEE Conference on Computers, Software, and Applications (COMPSAC2026), July 7-11, 2026, Madrid Spain
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[48] arXiv:2605.28258 [pdf, html, other]
Title: GUI Agents for Continual Game Generation
Yixu Huang, Bo Li, Na Li, Zhe Wang, Kaijie Chen, Haonan Ge, Qingyi Si, Yuanzhe Shen, Ruihan Yang, Guangjing Wang, Hongcheng Guo
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV); Human-Computer Interaction (cs.HC)
[49] arXiv:2605.28148 [pdf, html, other]
Title: DeltaMCP: Incremental Regeneration via Spec-Aware Transformation for MCP servers
Aditya Pujara, Xiaogang Zhu, Hsiang-Ting Chen
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[50] arXiv:2605.28000 [pdf, html, other]
Title: Tool Forge: A Validation-Carrying Toolchain for Governed Agentic Execution
Swanand Rao
Comments: 9 pages, 2 figures, 3 tables. Code: this https URL
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
Total of 138 entries : 1-50 51-100 101-138
Showing up to 50 entries per page: fewer | more | all