Software Engineering

Authors and titles for March 2025

[201] arXiv:2503.15021 [pdf, other]

Title: Wild SBOMs: a Large-scale Dataset of Software Bills of Materials from Public Code

Luıs Soeiro (IP Paris, LTCI, ACES, INFRES), Thomas Robert (IP Paris, LTCI, ACES, INFRES), Stefano Zacchiroli (IP Paris, LTCI, ACES, INFRES)

Journal-ref: Mining Software Repositories 2025 (MSR 2025), Apr 2025, Ottawa (Canada), Canada

Subjects: Software Engineering (cs.SE)

[202] arXiv:2503.15050 [pdf, html, other]

Title: Studying and Understanding the Effectiveness and Failures of Conversational LLM-Based Repair

Aolin Chen, Haojun Wu, Qi Xin, Steven P. Reiss, Jifeng Xuan

Subjects: Software Engineering (cs.SE)

[203] arXiv:2503.15073 [pdf, html, other]

Title: An Adaptive Testing Approach Based on Field Data

Samira Silva, Ricardo Caldas, Patrizio Pelliccione, Antonia Bertolino

Subjects: Software Engineering (cs.SE)

[204] arXiv:2503.15079 [pdf, html, other]

Title: LogiAgent: Automated Logical Testing for REST Systems with LLM-Based Multi-Agents

Ke Zhang, Chenxi Zhang, Chong Wang, Chi Zhang, YaChen Wu, Zhenchang Xing, Yang Liu, Qingshan Li, Xin Peng

Subjects: Software Engineering (cs.SE)

[205] arXiv:2503.15223 [pdf, html, other]

Title: Are "Solved Issues" in SWE-bench Really Solved Correctly? An Empirical Study

You Wang, Michael Pradel, Zhongxin Liu

Subjects: Software Engineering (cs.SE)

[206] arXiv:2503.15231 [pdf, html, other]

Title: When LLMs Meet API Documentation: Can Retrieval Augmentation Aid Code Generation Just as It Helps Developers?

Jingyi Chen, Songqiang Chen, Jialun Cao, Jiasi Shen, Shing-Chi Cheung

Subjects: Software Engineering (cs.SE)

[207] arXiv:2503.15248 [pdf, html, other]

Title: Automated Non-Functional Requirements Generation in Software Engineering with Large Language Models: A Comparative Study

Jomar Thomas Almonte, Santhosh Anitha Boominathan, Nathalia Nascimento

Comments: 11 pages

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

[208] arXiv:2503.15270 [pdf, html, other]

Title: Automating Comment Generation for Smart Contract from Bytecode

Jianhang Xiang, Zhipeng Gao, Lingfeng Bao, Xing Hu, Jiayuan Chen, Xin Xia

Subjects: Software Engineering (cs.SE)

[209] arXiv:2503.15277 [pdf, html, other]

Title: What Makes a Good TODO Comment?

Haoye Wang, Zhipeng Gao, Tingting Bi, John Grundy, Xinyu Wang, Minghui Wu, Xiaohu Yang

Subjects: Software Engineering (cs.SE)

[210] arXiv:2503.15282 [pdf, html, other]

Title: SENAI: Towards Software Engineering Native Generative Artificial Intelligence

Mootez Saad, José Antonio Hernández López, Boqi Chen, Neil Ernst, Dániel Varró, Tushar Sharma

Comments: 5 pages, 1 figure

Subjects: Software Engineering (cs.SE)

[211] arXiv:2503.15301 [pdf, html, other]

Title: aiXcoder-7B-v2: Training LLMs to Fully Utilize the Long Context in Repository-level Code Completion

Jia Li, Hao Zhu, Huanyu Liu, Xianjie Shi, He Zong, Yihong Dong, Kechi Zhang, Siyuan Jiang, Zhi Jin, Ge Li

Subjects: Software Engineering (cs.SE)

[212] arXiv:2503.15341 [pdf, html, other]

Title: Uncertainty-Guided Chain-of-Thought for Code Generation with LLMs

Yuqi Zhu, Ge Li, Xue Jiang, Jia Li, Hong Mei, Zhi Jin, Yihong Dong

Subjects: Software Engineering (cs.SE)

[213] arXiv:2503.15519 [pdf, other]

Title: Can AI Assist in Olympiad Coding

Samuel Ren

Comments: 7 pages, 4 figures

Subjects: Software Engineering (cs.SE)

[214] arXiv:2503.15556 [pdf, other]

Title: Fully Automated Generation of Combinatorial Optimisation Systems Using Large Language Models

Daniel Karapetyan

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

[215] arXiv:2503.15571 [pdf, html, other]

Title: LLM-Aided Customizable Profiling of Code Data Based On Programming Language Concepts

Pankaj Thorat, Adnan Qidwai, Adrija Dhar, Aishwariya Chakraborty, Anand Eswaran, Hima Patel, Praveen Jayachandran

Comments: 21 pages

Subjects: Software Engineering (cs.SE); Emerging Technologies (cs.ET); Information Retrieval (cs.IR); Machine Learning (cs.LG); Programming Languages (cs.PL)

[216] arXiv:2503.15577 [pdf, html, other]

Title: Navigating MLOps: Insights into Maturity, Lifecycle, Tools, and Careers

Jasper Stone, Raj Patel, Farbod Ghiasi, Sudip Mittal, Shahram Rahimi

Comments: 8 pages, 2 figure, 4 tables

Subjects: Software Engineering (cs.SE)

[217] arXiv:2503.15622 [pdf, other]

Title: Contextual Fairness-Aware Practices in ML: A Cost-Effective Empirical Evaluation

Alessandra Parziale, Gianmario Voria, Giammaria Giordano, Gemma Catolino, Gregorio Robles, Fabio Palomba

Subjects: Software Engineering (cs.SE)

[218] arXiv:2503.15626 [pdf, html, other]

Title: A Scalable Game-Theoretic Approach for Selecting Security Controls from Standardized Catalogues

Dylan Léveillé, Jason Jaskolka

Comments: arXiv admin note: substantial text overlap with arXiv:2410.22762

Subjects: Software Engineering (cs.SE)

[219] arXiv:2503.15669 [pdf, html, other]

Title: ECO: An LLM-Driven Efficient Code Optimizer for Warehouse Scale Computers

Hannah Lin, Martin Maas, Maximilian Roquemore, Arman Hasanzadeh, Fred Lewis, Yusuf Simonson, Tzu-Wei Yang, Amir Yazdanbakhsh, Deniz Altinbüken, Florin Papa, Maggie Nolan Edmonds, Aditya Patil, Don Schwarz, Satish Chandra, Chris Kennelly, Milad Hashemi, Parthasarathy Ranganathan

Subjects: Software Engineering (cs.SE)

[220] arXiv:2503.15675 [pdf, html, other]

Title: Combining Static Analysis Techniques for Program Comprehension Using Slicito

Robert Husák, Jan Kofroň, Filip Zavoral

Subjects: Software Engineering (cs.SE)

[221] arXiv:2503.15825 [pdf, html, other]

Title: Efficient Symbolic Execution of Software under Fault Attacks

Yuzhou Fang, Chenyu Zhou, Jingbo Wang, Chao Wang

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

[222] arXiv:2503.15838 [pdf, html, other]

Title: Enhancing LLM Code Generation with Ensembles: A Similarity-Based Selection Approach

Tarek Mahmud, Bin Duan, Corina Pasareanu, Guowei Yang

Subjects: Software Engineering (cs.SE)

[223] arXiv:2503.15885 [pdf, html, other]

Title: Human or LLM? A Comparative Study on Accessible Code Generation Capability

Hyunjae Suh, Mahan Tafreshipour, Sam Malek, Iftekhar Ahmed

Subjects: Software Engineering (cs.SE)

[224] arXiv:2503.15953 [pdf, html, other]

Title: GAN-enhanced Simulation-driven DNN Testing in Absence of Ground Truth

Mohammed Attaoui, Fabrizio Pastore

Comments: 15 pages, 8 figures, 13 tables

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

[225] arXiv:2503.15980 [pdf, html, other]

Title: Financial Twin Chain, a Platform to Support Financial Sustainability in Supply Chains

Giuseppe Galante, Christiancarmine Esposito, Pietro Catalano, Salvatore Moscariello, Pasquale Perillo, Pietro D'Ambrosio, Angelo Ciaramella, Michele Di Capua

Comments: 13 pages, 3 figures, submitted to ITADATA2024: The 3rd Italian Conference on Big Data and Data Science

Subjects: Software Engineering (cs.SE)

[226] arXiv:2503.16038 [pdf, other]

Title: DevOps Automation Pipeline Deployment with IaC (Infrastructure as Code)

Adarsh Saxena, Sudhakar Singh, Shiv Prakash, Tiansheng Yang, Rajkumar Singh Rathore

Comments: 6 pages, 7 figures, 2024 IEEE Silchar Subsection Conference (SILCON 2024)

Journal-ref: 2024 IEEE Silchar Subsection Conference (SILCON 2024), Agartala, India, 2024

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

[227] arXiv:2503.16144 [pdf, html, other]

Title: Unify and Triumph: Polyglot, Diverse, and Self-Consistent Generation of Unit Tests with LLMs

Djamel Eddine Khelladi, Charly Reux, Mathieu Acher

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

[228] arXiv:2503.16167 [pdf, html, other]

Title: CodeReviewQA: The Code Review Comprehension Assessment for Large Language Models

Hong Yi Lin, Chunhua Liu, Haoyu Gao, Patanamon Thongtanunam, Christoph Treude

Comments: The paper is published in Findings of the Association for Computational Linguistics (ACL 2025)

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

[229] arXiv:2503.16262 [pdf, html, other]

Title: Neurosymbolic Architectural Reasoning: Towards Formal Analysis through Neural Software Architecture Inference

Steffen Herbold, Christoph Knieke, Andreas Rausch, Christian Schindler

Subjects: Software Engineering (cs.SE)

[230] arXiv:2503.16320 [pdf, html, other]

Title: Issue2Test: Generating Reproducing Test Cases from Issue Reports

Noor Nashid, Islem Bouzenia, Michael Pradel, Ali Mesbah

Subjects: Software Engineering (cs.SE)

[231] arXiv:2503.16740 [pdf, html, other]

Title: Automated Harmfulness Testing for Code Large Language Models

Honghao Tan, Haibo Wang, Diany Pressato, Yisen Xu, Shin Hwei Tan

Subjects: Software Engineering (cs.SE)

[232] arXiv:2503.16771 [pdf, html, other]

Title: On Explaining (Large) Language Models For Code Using Global Code-Based Explanations

David N. Palacio, Dipin Khati, Daniel Rodriguez-Cardenas, Alejandro Velasco, Denys Poshyvanyk

Comments: 12 pages, under revision

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

[233] arXiv:2503.16913 [pdf, html, other]

Title: FAIT: Fault-Aware Fine-Tuning for Better Code Generation

Lishui Fan, Zhongxin Liu, Haoye Wang, Lingfeng Bao, Xin Xia, Shanping Li

Subjects: Software Engineering (cs.SE)

[234] arXiv:2503.16922 [pdf, html, other]

Title: RustEvo^2: An Evolving Benchmark for API Evolution in LLM-based Rust Code Generation

Linxi Liang, Jing Gong, Mingwei Liu, Chong Wang, Guangsheng Ou, Yanlin Wang, Xin Peng, Zibin Zheng

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

[235] arXiv:2503.16967 [pdf, html, other]

Title: Evolving the Computational Notebook: A Two-Dimensional Canvas for Enhanced Human-AI Interaction

Konstantin Grotov, Dmitry Botov

Subjects: Software Engineering (cs.SE)

[236] arXiv:2503.16969 [pdf, other]

Title: Extending Behavior Trees for Robotic Missions with Quality Requirements

Razan Ghzouli, Rebekka Wohlrab, Jennifer Horkoff

Comments: 17 pages, 6 figures, Requirements Engineering: Foundation for Software Quality (REFSQ) 2025

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

[237] arXiv:2503.17000 [pdf, html, other]

Title: Exploring the Role of Women in Hugging Face Organizations

Maria Tubella Salinas, Alexandra González, Silverio Martínez-Fernández

Comments: Accepted at the XXVIII Ibero-American Conference on Software Engineering (CIbSE 2025)

Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY)

[238] arXiv:2503.17181 [pdf, html, other]

Title: A Study of LLMs' Preferences for Libraries and Programming Languages

Lukas Twist, Jie M. Zhang, Mark Harman, Don Syme, Joost Noppen, Helen Yannakoudakis, Detlef Nauck

Comments: 13 pages, 8 tables, 2 figures. Paper was previously titled "LLMs Love Python"

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

[239] arXiv:2503.17192 [pdf, html, other]

Title: Employing Continuous Integration inspired workflows for benchmarking of scientific software -- a use case on numerical cut cell quadrature

Teoman Toprak, Michael Loibl, Guilherme H. Teixeira, Irina Shiskina, Chen Miao, Josef Kiendl, Benjamin Marussig, Florian Kummer

Comments: 29 pages, 9 figures, pre-print

Subjects: Software Engineering (cs.SE)

[240] arXiv:2503.17220 [pdf, html, other]

Title: InfraFix: Technology-Agnostic Repair of Infrastructure as Code

Nuno Saavedra, João F. Ferreira, Alexandra Mendes

Comments: Accepted at ISSTA 2025

Subjects: Software Engineering (cs.SE)

[241] arXiv:2503.17259 [pdf, html, other]

Title: Semi-Automated Design of Data-Intensive Architectures

Arianna Dragoni, Alessandro Margara

Comments: Accepted for publication at the 9th International Workshop on Formal Approaches for Advanced Computing Systems, co-located with the 22nd IEEE International Conference on Software Architecture (ICSA 2025)

Subjects: Software Engineering (cs.SE)

[242] arXiv:2503.17322 [pdf, html, other]

Title: QITE: Assembly-Level, Cross-Platform Testing of Quantum Computing Platforms

Matteo Paltenghi, Michael Pradel

Comments: 12 pages, 8 figures

Subjects: Software Engineering (cs.SE); Quantum Physics (quant-ph)

[243] arXiv:2503.17416 [pdf, html, other]

Title: Debugging and Runtime Analysis of Neural Networks with VLMs (A Case Study)

Boyue Caroline Hu, Divya Gopinath, Corina S. Pasareanu, Nina Narodytska, Ravi Mangal, Susmit Jha

Comments: CAIN 2025 (4th International Conference on AI Engineering -- Software Engineering for AI)

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

[244] arXiv:2503.17502 [pdf, html, other]

Title: Large Language Models (LLMs) for Source Code Analysis: applications, models and datasets

Hamed Jelodar, Mohammad Meymani, Roozbeh Razavi-Far

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

[245] arXiv:2503.17537 [pdf, other]

Title: Understanding the Changing Landscape of Automotive Software Vulnerabilities: Insights from a Seven-Year Analysis

Srijita Basu, Miroslaw Staron

Comments: 8 pages

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

[246] arXiv:2503.17624 [pdf, html, other]

Title: How Users Employ Workarounds in Software Forms

MohammadAmin Zaheri, Michalis Famelis, Eugene Syriani

Subjects: Software Engineering (cs.SE)

[247] arXiv:2503.17679 [pdf, html, other]

Title: Polymer: Development Workflows as Software

Dhasarathy Parthasarathy, Yinan Yu, Earl T. Barr

Subjects: Software Engineering (cs.SE)

[248] arXiv:2503.17741 [pdf, html, other]

Title: RustMap: Towards Project-Scale C-to-Rust Migration via Program Analysis and LLM

Xuemeng Cai, Jiakun Liu, Xiping Huang, Yijun Yu, Haitao Wu, Chunmiao Li, Bo Wang, Imam Nur Bani Yusuf, Lingxiao Jiang

Subjects: Software Engineering (cs.SE)

[249] arXiv:2503.17837 [pdf, other]

Title: A Study on the Improvement of Code Generation Quality Using Large Language Models Leveraging Product Documentation

Takuro Morimoto, Harumi Haraguchi

Comments: 12 pages, 5 figures and 10 tables

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

[250] arXiv:2503.17885 [pdf, html, other]

Title: Reasoning with LLMs for Zero-Shot Vulnerability Detection

Arastoo Zibaeirad, Marco Vieira

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

[251] arXiv:2503.17953 [pdf, html, other]

Title: Smoke and Mirrors: Jailbreaking LLM-based Code Generation via Implicit Malicious Prompts

Sheng Ouyang, Yihao Qin, Bo Lin, Liqian Chen, Xiaoguang Mao, Shangwen Wang

Subjects: Software Engineering (cs.SE)

[252] arXiv:2503.17998 [pdf, html, other]

Title: Automatic High-Level Test Case Generation using Large Language Models

Navid Bin Hasan, Md. Ashraful Islam, Junaed Younus Khan, Sanjida Senjik, Anindya Iqbal

Comments: Accepted at International Conference on Mining Software Repositories (MSR) 2025

Subjects: Software Engineering (cs.SE)

[253] arXiv:2503.18080 [pdf, other]

Title: Example-Based Learning in Software Engineering Education: A Systematic Mapping Study

Tiago P. Bonetti, Williamson Silva, Thelma E. Colanzi

Subjects: Software Engineering (cs.SE)

[254] arXiv:2503.18175 [pdf, html, other]

Title: Enhancing Software Vulnerability Detection Using Code Property Graphs and Convolutional Neural Networks

Amanpreet Singh Saimbhi

Journal-ref: 2025 International Conference on Computational, Communication and Information Technology (ICCCIT), Indore, India, 2025, pp. 435-440

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

[255] arXiv:2503.18251 [pdf, html, other]

Title: COFO: COdeFOrces dataset for Program Classification, Recognition and Tagging

Kuldeep Gautam, S. VenkataKeerthy, Ramakrishna Upadrasta

Subjects: Software Engineering (cs.SE)

[256] arXiv:2503.18305 [pdf, html, other]

Title: Enhancing LLM-based Code Translation in Repository Context via Triple Knowledge-Augmented

Guangsheng Ou, Mingwei Liu, Yuxuan Chen, Xueying Du, Shengbo Wang, Zekai Zhang, Xin Peng, Zibin Zheng

Subjects: Software Engineering (cs.SE)

[257] arXiv:2503.18455 [pdf, html, other]

Title: SEAlign: Alignment Training for Software Engineering Agent

Kechi Zhang, Huangzhao Zhang, Ge Li, Jinliang You, Jia Li, Yunfei Zhao, Zhi Jin

Subjects: Software Engineering (cs.SE)

[258] arXiv:2503.18460 [pdf, html, other]

Title: ModiGen: A Large Language Model-Based Workflow for Multi-Task Modelica Code Generation

Jiahui Xiang, Tong Ye, Peiyu Liu, Yinan Zhang, Wenhai Wang

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

[259] arXiv:2503.18597 [pdf, other]

Title: Testora: Using Natural Language Intent to Detect Behavioral Regressions

Michael Pradel

Comments: Accepted at IEEE/ACM International Conference on Software Engineering (ICSE) 2026

Subjects: Software Engineering (cs.SE)

[260] arXiv:2503.18732 [pdf, html, other]

Title: Embedding computational neurorehabilitation in clinical practice using a modular intelligent health system

Thomas Weikert, Eljas Roellin, Monica Pérez-Serrano, Elisa Du, Lukas Heumos, Fabian J. Theis, Diego Paez-Granados, Chris Easthope Awai

Subjects: Software Engineering (cs.SE)

[261] arXiv:2503.18799 [pdf, html, other]

Title: Latent Space Class Dispersion: Effective Test Data Quality Assessment for DNNs

Vivek Vekariya, Mojdeh Golagha, Andrea Stocco, Alexander Pretschner

Subjects: Software Engineering (cs.SE)

[262] arXiv:2503.18832 [pdf, html, other]

Title: Understanding the Impact of Domain Term Explanation on Duplicate Bug Report Detection

Usmi Mukherjee, Mohammad Masudur Rahman

Comments: Accepted at EASE 2025

Subjects: Software Engineering (cs.SE)

[263] arXiv:2503.18888 [pdf, html, other]

Title: Toward building next-generation Geocoding systems: a systematic review

Zhengcong Yin, Daniel W. Goldberg, Binbin Lin, Bing Zhou, Diya Li, Andong Ma, Ziqian Ming, Heng Cai, Zhe Zhang, Shaohua Wang, Shanzhen Gao, Joey Ying Lee, Xiao Li, Da Huo

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

[264] arXiv:2503.19217 [pdf, other]

Title: LLM Benchmarking with LLaMA2: Evaluating Code Development Performance Across Multiple Programming Languages

Patrick Diehl, Nojoud Nader, Maxim Moraru, Steven R. Brandt

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

[265] arXiv:2503.19238 [pdf, html, other]

Title: Unveiling Ruby: Insights from Stack Overflow and Developer Survey

Nikta Akbarpour, Ahmad Saleem Mirza, Erfan Raoofian, Fatemeh Fard, Gema Rodríguez-Pérez (University of British Columbia, Department of Computer Science, Mathematics, Physics and Statistics, Kelowna, BC, Canada)

Comments: 12 pages, 6 figures, 2 tables

Subjects: Software Engineering (cs.SE)

[266] arXiv:2503.19284 [pdf, html, other]

Title: Understanding and Characterizing Mock Assertions in Unit Tests

Hengcheng Zhu, Valerio Terragni, Lili Wei, Shing-Chi Cheung, Jiarong Wu, Yepang Liu

Comments: The paper has been accepted by The ACM International Conference on the Foundations of Software Engineering (FSE 2025)

Journal-ref: Proceedings of The ACM on Software Engineering (PACMSE), 2, FSE, Article FSE026 (July 2025)

Subjects: Software Engineering (cs.SE)

[267] arXiv:2503.19381 [pdf, html, other]

Title: Towards Build Optimization Using Digital Twins

Henri Aïdasso, Francis Bordeleau, Ali Tizghadam

Comments: Accepted at the 21st International Conference on Predictive Models and Data Analytics in Software Engineering - PROMISE 2025

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

[268] arXiv:2503.19444 [pdf, html, other]

Title: AI Safety in the Eyes of the Downstream Developer: A First Look at Concerns, Practices, and Challenges

Haoyu Gao, Mansooreh Zahedi, Wenxin Jiang, Hong Yi Lin, James Davis, Christoph Treude

Subjects: Software Engineering (cs.SE)

[269] arXiv:2503.19449 [pdf, html, other]

Title: VecTrans: Enhancing Compiler Auto-Vectorization through LLM-Assisted Code Transformations

Zhongchun Zheng, Kan Wu, Long Cheng, Lu Li, Rodrigo C. O. Rocha, Tianyi Liu, Wei Wei, Jianjiang Zeng, Xianwei Zhang, Yaoqing Gao

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Performance (cs.PF)

[270] arXiv:2503.19548 [pdf, html, other]

Title: On-Chain Analysis of Smart Contract Dependency Risks on Ethereum

Monica Jin, Raphina Liu, Martin Monperrus

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

[271] arXiv:2503.19599 [pdf, other]

Title: HoarePrompt: Structural Reasoning About Program Correctness in Natural Language

Dimitrios Stamatios Bouras, Yihan Dai, Tairan Wang, Yingfei Xiong, Sergey Mechtaev

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

[272] arXiv:2503.19876 [pdf, other]

Title: SLA-Awareness for AI-assisted coding

Kishanthan Thangarajah, Arthur Leung, Boyuan Chen, Ahmed E. Hassan

Subjects: Software Engineering (cs.SE)

[273] arXiv:2503.19909 [pdf, other]

Title: In the Magma chamber: Update and challenges in ground-truth vulnerabilities revival for automatic input generator comparison

Timothée Riom, Sabine Houy, Bruno Kreyssig, Alexandre Bartel

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

[274] arXiv:2503.20036 [pdf, html, other]

Title: BugCraft: End-to-End Crash Bug Reproduction Using LLM Agents in Minecraft

Eray Yapağcı, Yavuz Alp Sencer Öztürk, Eray Tüzün

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

[275] arXiv:2503.20126 [pdf, html, other]

Title: Can We Make Code Green? Understanding Trade-Offs in LLMs vs. Human Code Optimizations

Pooja Rani, Jan-Andrea Bard, June Sallou, Alexander Boll, Timo Kehrer, Alberto Bacchelli

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

[276] arXiv:2503.20197 [pdf, html, other]

Title: Enhancing the Robustness of LLM-Generated Code: Empirical Study and Framework

Zike Li, Mingwei Liu, Anji Li, Kaifeng He, Yanlin Wang, Xin Peng, Zibin Zheng

Comments: 10 pages

Subjects: Software Engineering (cs.SE)

[277] arXiv:2503.20263 [pdf, html, other]

Title: L4: Diagnosing Large-scale LLM Training Failures via Automated Log Analysis

Zhihan Jiang, Junjie Huang, Zhuangbin Chen, Yichen Li, Guangba Yu, Cong Feng, Yongqiang Yang, Zengyin Yang, Michael R. Lyu

Comments: To appear in companion proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering (FSE'25). 13 pages

Subjects: Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC)

[278] arXiv:2503.20265 [pdf, html, other]

Title: Fixseeker: An Empirical Driven Graph-based Approach for Detecting Silent Vulnerability Fixes in Open Source Software

Yiran Cheng, Ting Zhang, Lwin Khin Shar, Zhe Lang, David Lo, Shichao Lv, Dongliang Fang, Zhiqiang Shi, Limin Sun

Subjects: Software Engineering (cs.SE)

[279] arXiv:2503.20464 [pdf, other]

Title: Modelling Privacy Compliance in Cross-border Data Transfers with Bigraphs

Ebtihal Althubiti (University of Glasgow), Michele Sevegnani (University of Glasgow)

Comments: In Proceedings GCM 2023 and 2024, arXiv:2503.19632

Journal-ref: EPTCS 417, 2025, pp. 17-38

Subjects: Software Engineering (cs.SE)

[280] arXiv:2503.20471 [pdf, other]

Title: Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Framework (System Description)

Maximilian Kratz (Technical University of Darmstadt, Real-Time Systems Lab, Germany), Sebastian Ehmes (Technical University of Darmstadt, Real-Time Systems Lab, Germany), Philipp Maximilian Menzel (Technical University of Darmstadt, Germany), Andy Schürr (Technical University of Darmstadt, Real-Time Systems Lab, Germany)

Comments: In Proceedings GCM 2023 and 2024, arXiv:2503.19632

Journal-ref: EPTCS 417, 2025, pp. 157-172

Subjects: Software Engineering (cs.SE)

[281] arXiv:2503.20536 [pdf, html, other]

Title: Knowledge-Based Multi-Agent Framework for Automated Software Architecture Design

Yiran Zhang, Ruiyin Li, Peng Liang, Weisong Sun, Yang Liu

Subjects: Software Engineering (cs.SE)

[282] arXiv:2503.20576 [pdf, html, other]

Title: Optimizing Case-Based Reasoning System for Functional Test Script Generation with Large Language Models

Siyuan Guo, Huiwu Liu, Xiaolong Chen, Yuming Xie, Liang Zhang, Tao Han, Hechang Chen, Yi Chang, Jun Wang

Comments: Accepted by KDD 2025 (ADS Track)

Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL); Machine Learning (cs.LG)

[283] arXiv:2503.20578 [pdf, other]

Title: LLPut: Investigating Large Language Models for Bug Report-Based Input Generation

Alif Al Hasan, Subarna Saha, Mia Mohammad Imran, Tarannum Shaila Zaman

Journal-ref: The First International Workshop on Large Language Model-Oriented Empirical Research (LLanMER 2025)

Subjects: Software Engineering (cs.SE)

[284] arXiv:2503.20579 [pdf, html, other]

Title: Is Reuse All You Need? A Systematic Comparison of Regular Expression Composition Strategies

Berk Çakar, Charles M. Sale, Sophie Chen, Ethan H. Burmane, Dongyoon Lee, James C. Davis

Subjects: Software Engineering (cs.SE)

[285] arXiv:2503.20589 [pdf, html, other]

Title: What to Retrieve for Effective Retrieval-Augmented Code Generation? An Empirical Study and Beyond

Wenchao Gu, Juntao Chen, Yanlin Wang, Tianyue Jiang, Xingzhe Li, Mingwei Liu, Xilin Liu, Yuchi Ma, Zibin Zheng

Subjects: Software Engineering (cs.SE)

[286] arXiv:2503.20851 [pdf, html, other]

Title: StepGrade: Grading Programming Assignments with Context-Aware LLMs

Mohammad Akyash, Kimia Zamiri Azar, Hadi Mardani Kamali

Comments: Accepted to the 15th IEEE Integrated STEM Education Conference (ISEC)

Subjects: Software Engineering (cs.SE)

[287] arXiv:2503.20934 [pdf, html, other]

Title: Leveraging LLMs, IDEs, and Semantic Embeddings for Automated Move Method Refactoring

Fraol Batole, Abhiram Bellur, Malinda Dilhara, Mohammed Raihan Ullah, Yaroslav Zharov, Timofey Bryksin, Kai Ishikawa, Haifeng Chen, Masaharu Morimoto, Shota Motoura, Takeo Hosomi, Tien N. Nguyen, Hridesh Rajan, Nikolaos Tsantalis, Danny Dig

Comments: 12 pages, 2 figures

Subjects: Software Engineering (cs.SE)

[288] arXiv:2503.21086 [pdf, html, other]

Title: Less Noise, More Signal: DRR for Better Optimizations of SE Tasks

Andre Lustosa, Tim Menzies

Subjects: Software Engineering (cs.SE)

[289] arXiv:2503.21240 [pdf, html, other]

Title: The Promise and Pitfalls of WebAssembly: Perspectives from the Industry

Ningyu He, Shangtong Cao, Haoyu Wang, Yao Guo, Xiapu Luo

Comments: Accepted by FSE'25 Industry Track

Subjects: Software Engineering (cs.SE)

[290] arXiv:2503.21424 [pdf, html, other]

Title: Scaling Automated Database System Testing

Suyang Zhong, Manuel Rigger

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

[291] arXiv:2503.21444 [pdf, html, other]

Title: Automated Analysis of Pricings in SaaS-based Information Systems

Alejandro García-Fernández, José Antonio Parejo, Pablo Trinidad, Antonio Ruiz-Cortés

Comments: 16 pages, accepted in CAISE'25

Subjects: Software Engineering (cs.SE)

[292] arXiv:2503.21448 [pdf, html, other]

Title: HORIZON: a Classification and Comparison Framework for Pricing-driven Feature Toggling

Alejandro García-Fernández, Jose Antonio Parejo, Antonio Ruiz-Cortés

Comments: 15 pages, submitted to ICWE'25

Subjects: Software Engineering (cs.SE)

[293] arXiv:2503.21455 [pdf, html, other]

Title: Code Review Comprehension: Reviewing Strategies Seen Through Code Comprehension Theories

Pavlína Wurzel Gonçalves, Pooja Rani, Margaret-Anne Storey, Diomidis Spinellis, Alberto Bacchelli

Subjects: Software Engineering (cs.SE)

[294] arXiv:2503.21522 [pdf, html, other]

Title: MONO2REST: Identifying and Exposing Microservices: a Reusable RESTification Approach

Matthéo Lecrivain, Hanifa Barry, Dalila Tamzalit, Houari Sahraoui

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

[295] arXiv:2503.21636 [pdf, html, other]

Title: KRAFT -- A Knowledge-Graph-Based Resource Allocation Framework

Leon Bein, Niels Martin, Luise Pufahl

Subjects: Software Engineering (cs.SE)

[296] arXiv:2503.21705 [pdf, html, other]

Title: SoK: Towards Reproducibility for Software Packages in Scripting Language Ecosystems

Timo Pohl, Pavel Novák, Marc Ohm, Michael Meier

Comments: 22 pages, 1 figure, submitted to ARES 2025

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

[297] arXiv:2503.21710 [pdf, html, other]

Title: Enhancing Repository-Level Software Repair via Repository-Aware Knowledge Graphs

Boyang Yang, Haoye Tian, Jiadong Ren, Shunfu Jin, Yang Liu, Feng Liu, Bach Le

Subjects: Software Engineering (cs.SE)

[298] arXiv:2503.21735 [pdf, html, other]

Title: GateLens: A Reasoning-Enhanced LLM Agent for Automotive Software Release Analytics

Arsham Gholamzadeh Khoee, Shuai Wang, Yinan Yu, Robert Feldt, Dhasarathy Parthasarathy

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

[299] arXiv:2503.21947 [pdf, html, other]

Title: Integrating DAST in Kanban and CI/CD: A Real World Security Case Study

Arpit Thool, Chris Brown

Comments: 12 pages, 3 tables

Subjects: Software Engineering (cs.SE)

[300] arXiv:2503.21960 [pdf, html, other]

Title: A Delphi Study on the Adaptation of SCRUM Practices to Remote Work

Cleyton Magalhaes, Fernando Padoan, Robson Santos, Ronnie de Souza Santos

Subjects: Software Engineering (cs.SE)