Software Engineering

Papers filed under cs.SE on arXiv, each one already summarized by Paperlayer. Open any of them to read the summary beside the original PDF, with every point linked to the line, figure, or table it came from.

Search paper metadata (including unsummarized papers)

1 to 60 of 2,376

Towards a Semantic Administrative Shell for Industry 4.0 Components
Irlán Grangel-González, Lavdim Halilaj, Gökhan Coskun +3
cs.SEarXiv:1601.01556v22016
Not All Correct Fixes Run Alike: An Empirical Study of Patch Performance in Repository-Level Issue Resolution
Han Peng, Xing Hu, Feifei Niu +2
cs.SEcs.CLarXiv:2610.13563v12026
Natural Language to Code Generation in Interactive Data Science Notebooks
Pengcheng Yin, Wen-Ding Li, Kefan Xiao +9
cs.CLcs.SEarXiv:2212.09248v12022
Improving ChatGPT Prompt for Code Generation
Chao Liu, Xuanlin Bao, Hongyu Zhang +4
cs.SEarXiv:2305.08360v12023
On the Effectiveness of Large Language Models in Domain-Specific Code Generation
Xiaodong Gu, Meng Chen, Yalan Lin +6
cs.SEarXiv:2312.01639v72023
Safety-Constrained Reinforcement Learning for MDPs
Sebastian Junges, Nils Jansen, Christian Dehnert +2
cs.SEcs.SYeess.SYarXiv:1510.05880v12015
REINS: Agent-guided Thread Scheduling for Concurrency Bug Detection and Reproduction
Yu Zhang, Corina S. Pasareanu, Guowei Yang
cs.SEarXiv:2610.13421v12026
ToolFailBench: Diagnosing Tool-Use Failures in LLM Agents
Harsh Soni
cs.CLcs.AIcs.SEarXiv:2607.04686v12026
Untangling Fine-Grained Code Changes
Martín Dias, Alberto Bacchelli, Georgios Gousios +2
cs.SEarXiv:1502.06757v12015
TestSuiteBench: Coding Agents Struggle to Generate Strong Test Suites from Specifications
Kazuki Egashira, Niels Mündler-Sasahara, Mark Niklas Müller +1
cs.SEarXiv:2610.13065v12026
Evaluation of Software Quality Through Refactoring Commit-Impact Analysis
Md Safayat Hossen, Sheikh Moonwara Anjum Monisha, Shadid Intisar Quasem
cs.SEarXiv:2610.12890v12026
DevOps-Gym: Benchmarking AI Agents in Software DevOps Cycle
Yuheng Tang, Kaijie Zhu, Bonan Ruan +14
cs.SEcs.AIcs.CRarXiv:2601.20882v12026
SWE-TRACE: Optimizing Long-Horizon SWE Agents Through Rubric Process Reward Models and Heuristic Test-Time Scaling
Hao Han, Jin Xie, Xuehao Ma +5
cs.SEarXiv:2604.14820v12026
SoftwareGym: Scaling Computer-Use Agent Training with Diverse Synthesized Software Environments
Tian Jin, Wenhao Wang, Jing Kang +4
cs.MAcs.SEarXiv:2610.12611v12026
CoditT5: Pretraining for Source Code and Natural Language Editing
Jiyang Zhang, Sheena Panthaplackel, Pengyu Nie +2
cs.SEcs.LGarXiv:2208.05446v22022
SWE-Duel: Towards a Self-Scaling Arena for Coding Agents
Wei Minn, Zhensu Sun, Lwin Khin Shar +1
cs.CLcs.SEarXiv:2610.12569v12026
Not All Agents Are Equal: Code Quality and Post-Merge Maintenance Across Five Autonomous Coding Agents in the Wild
Obada Kraishan
cs.SEarXiv:2609.17598v12026
Failure as a Process: An Anatomy of CLI Coding Agent Trajectories
Xiangxin Zhao, Han Li, Shuaiting Li +4
cs.SEcs.AIarXiv:2607.09510v12026
MRCert: Towards Post-deployment Patch Robustness Certification for Adversarially Patched Samples via Type-specific Masking
Qilin Zhou, Zhengyuan Wei, Haipeng Wang +3
cs.CRcs.AIcs.LGarXiv:2610.10617v12026
A Performance-Sensitive Malware Detection System Using Deep Learning on Mobile Devices
Ruitao Feng, Sen Chen, Xiaofei Xie +3
cs.CRcs.SEarXiv:2005.04970v32020
ProgramGym: Scaling Training Environments for Long-Horizon Program Reproduction Agents
Chengyi Yang, Renxu Bao, Jue Hou +10
cs.SEcs.AIcs.CLarXiv:2610.13395v12026
TyPatch: Transforming Patches into Typestate Rules for Kernel Bug Detection
Ruoyu Wang, Tuo Li, Jia Li
cs.SEcs.AIcs.CRarXiv:2609.13728v12026
Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components
Cumhur Erkan Tuncali, Georgios Fainekos, Danil Prokhorov +2
cs.ROcs.LGcs.SEarXiv:1908.01094v12019
Psychological Safety in Software Engineering Teams: A Systematic Mapping Study of Team Processes and Performance
Adnan Manzoor, Muhammad Azeem Akbar, Jussi Kasurinen +3
cs.SEarXiv:2610.08896v12026
Scenario-Based Compositional Statistical Model Checking for Safety Specifications
Abhinav Pomalapally, Arya Raeesi, Kevin Kai-Chun Chang +2
cs.LOcs.AIcs.ROarXiv:2610.05571v12026
Automatic Code Documentation Generation Using GPT-3
Junaed Younus Khan, Gias Uddin
cs.SEarXiv:2209.02235v12022
Same Patient, Different Order: Action-Level Reliability of Clinical LLM Agents Under Repeated Runs
Rohith Reddy Bellibatlu, Manpreet Singh, Zhoutian Han +1
cs.CLcs.AIcs.LGarXiv:2609.13582v12026
The Agentic Company OS: Substrate Inversion for Sustained Enterprise Agent Deployment
Oliver Aleksander Larsen, Mahyar T. Moghaddam
cs.SEcs.AIcs.MAarXiv:2609.13334v12026
Beyond Type-checking: Towards Holistic Evaluation of Formal Specification Generation
Srijith Nair, Aditya Vempaty, Jia Liu +1
cs.SEcs.AIarXiv:2610.10604v12026
AutoTailor: Automatic, User-Aligned Capability Selection and Adaptation for Web Agents
Xinyun Cao, Adriana Szekeres, Fazle Elahi Faisal
cs.AIcs.SEarXiv:2609.13548v12026
Automatically Detecting and Fixing Deadlocks in Go Code with GoDDaR
Gustavo Feio, Jorge Coelho, Miguel Flor +2
cs.PLcs.DCcs.SEarXiv:2610.08962v12026
TestJack: Should you trust the results in coding benchmarks? Agentic Coding Benchmarks Auditing via Evaluator Evolution
Shuangjie Yao, Hao Wang, Koushik Sen +3
cs.SEcs.AIarXiv:2610.10619v12026
Analysis and Visualization of the Linux Kernel's Software Evolution Using the City Metaphor
Malte Hansen, Lukas Damerau, Moritz Bugla +2
cs.SEarXiv:2610.09910v12026
A Chat Assistant for Software Exploration in a 3D Software Visualization
Malte Hansen, Karim Issa, Wilhelm Hasselbring
cs.SEarXiv:2610.09901v12026
Spreadsheet Errors: What We Know. What We Think We Can Do
Raymond R. Panko
cs.SEcs.HCarXiv:0802.3457v12008
Implementing the Spec Growth Engine: Preventing Spec-Code Divergence, and Growing the Spec with Agents
Hartwig Grabowski
cs.SEarXiv:2610.11725v12026
Detecting HTTP Status Code Misuses in REST APIs via Static and Dynamic Analysis
Alix Decrop, Andrea Arcuri, Mike Papadakis +2
cs.SEarXiv:2609.12770v12026
Hieronym: Leveraging Hierarchical Multi-Source Information for Function Renaming in Stripped Binary
Xiaoling Zhang, Jian Sun, Dawei Wang +6
cs.SEarXiv:2609.12457v12026
Beyond Establishing the Four-Day Workweek: Understanding Adaptation and Long-Term Survival in an Agile Software Organization
Michael Neumann, Darja Šmite
cs.SEarXiv:2609.13089v12026
PQLS: A High-Performance Python Library for Steady-State Simulation of Open Quantum Systems
Evan Simanovskis, Raviraj Adve, Javane Rostampoor
cs.SEarXiv:2609.12309v12026
ParanoiaEval: Benchmarking Unnecessary Defensive Work in Agentic Coding
Hanjun Luo, Xiucheng Zhang, Zhuoning Xu +4
cs.AIcs.SEarXiv:2610.08662v22026
Evaluating Change Point Detection Methods for Software Performance Regression Analysis
Diego Elias Costa, Michele Tucci, Luca Traini +8
cs.SEarXiv:2610.09023v12026
Visible Reasoning Is Not a Universal Optimizer: Persona- and Thinking-Dependent Effects in Analytics Code Generation
Bhawani Shankar Leelar, Pawan Chorasiya, Davin Hill +2
cs.LGcs.AIcs.SEarXiv:2610.10639v12026
Agentic Software Engineering: Foundational Pillars and a Research Roadmap
Ahmed E. Hassan, Hao Li, Dayi Lin +4
cs.SEcs.AIarXiv:2509.06216v32025
When Flaws Cascade: Understanding Vulnerabilities and Exploitation Chains in JavaScript Engines
Yuhan Ma, Jiongchi Yu, Xiaofei Xie +3
cs.CRcs.SEarXiv:2610.10844v12026
SimulaQron - A simulator for developing quantum internet software
Axel Dahlberg, Stephanie Wehner
quant-phcs.NIcs.SEarXiv:1712.08032v22017
Test Set Diameter: Quantifying the Diversity of Sets of Test Cases
Robert Feldt, Simon Poulding, David Clark +1
cs.SEarXiv:1506.03482v12015
SpecGuard: Proving a Task Is Broken Before the Agent Cheats
Param Biyani, Krishnamurthy Dvijotham
cs.AIcs.LOcs.SEarXiv:2610.09159v12026
Root-Cause Attribution Is a Search Problem: Continual Search for Long-Horizon Agent Failures
Harsh Raj, David Lee, Anas Mahmoud +7
cs.AIcs.HCcs.LGarXiv:2609.13463v22026
Mitigating Uncertainty Interactions in GenAI-based Adaptive Systems: Vision, Challenges and Preliminary Guidelines
Karthik Vaidhyanathan, Norha Villegas, Raffaela Mirandola +5
cs.SEarXiv:2610.08881v12026
Formal Analysis and Supply Chain Security for Agentic AI Skills
Varun Pratap Bhardwaj
cs.CRcs.AIcs.SEarXiv:2603.00195v22026
The Data Problem in Software Vulnerability Analysis: Artifacts, Quality, and Consumption
Yu Nong, Yao Du, Tianxiang Xu +1
cs.SEarXiv:2609.01503v12026
From Monolith to Microservices: A Classification of Refactoring Approaches
Jonas Fritzsch, Justus Bogner, Alfred Zimmermann +1
cs.SEarXiv:1807.10059v22018
Code Understanding is a Bottleneck for Coding Agents
Nishant Balepur, Kiran Tomlinson, Tobias Schnabel
cs.SEcs.AIcs.PLarXiv:2610.10610v12026
PolyCodeEval: Benchmarking Multilingual Code Generation from Functions to Repositories
Bowen Yang, Jiajun Jiang, Luxue Yu +3
cs.SEarXiv:2610.11618v12026
ObliVul: Alert-Conditioned Safety Obligation Modeling and Bidirectional Counterfactual Validation for Code Vulnerability Detection
Heyang Tan, Chengxin Gao, Xin Wen +2
cs.SEarXiv:2610.11801v12026
Reliability Characterization for N-version Object Detection
Shunsuke Nagao, Fumio Machida
cs.SEarXiv:2610.12149v12026
ParaRecover: A Process-Level Benchmark for Error Localization and Recovery in Parallel Tool-Use Agents
Bowen Guan, Zhentao Yin, Yanming Shen
cs.LGcs.SEarXiv:2609.12345v12026
The Quamoco Product Quality Modelling and Assessment Approach
Stefan Wagner, Klaus Lochmann, Lars Heinemann +6
cs.SEarXiv:1611.04433v12016
Evaluating Local Language Model Agents for Reproducible Data Engineering: An Empirical Software Engineering Study of Mobility Workflows
Jorge García-Carrasco, Javier Sanchis, Alejandro Reina-Reina +2
cs.SEcs.AIcs.DBarXiv:2610.11482v12026

Software Engineering

Towards a Semantic Administrative Shell for Industry 4.0 Components

Not All Correct Fixes Run Alike: An Empirical Study of Patch Performance in Repository-Level Issue Resolution

Natural Language to Code Generation in Interactive Data Science Notebooks

Improving ChatGPT Prompt for Code Generation

On the Effectiveness of Large Language Models in Domain-Specific Code Generation

Safety-Constrained Reinforcement Learning for MDPs

REINS: Agent-guided Thread Scheduling for Concurrency Bug Detection and Reproduction

ToolFailBench: Diagnosing Tool-Use Failures in LLM Agents

Untangling Fine-Grained Code Changes

TestSuiteBench: Coding Agents Struggle to Generate Strong Test Suites from Specifications

Evaluation of Software Quality Through Refactoring Commit-Impact Analysis

DevOps-Gym: Benchmarking AI Agents in Software DevOps Cycle

SWE-TRACE: Optimizing Long-Horizon SWE Agents Through Rubric Process Reward Models and Heuristic Test-Time Scaling

SoftwareGym: Scaling Computer-Use Agent Training with Diverse Synthesized Software Environments

CoditT5: Pretraining for Source Code and Natural Language Editing

SWE-Duel: Towards a Self-Scaling Arena for Coding Agents

Not All Agents Are Equal: Code Quality and Post-Merge Maintenance Across Five Autonomous Coding Agents in the Wild

Failure as a Process: An Anatomy of CLI Coding Agent Trajectories

MRCert: Towards Post-deployment Patch Robustness Certification for Adversarially Patched Samples via Type-specific Masking

A Performance-Sensitive Malware Detection System Using Deep Learning on Mobile Devices

ProgramGym: Scaling Training Environments for Long-Horizon Program Reproduction Agents

TyPatch: Transforming Patches into Typestate Rules for Kernel Bug Detection

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components

Psychological Safety in Software Engineering Teams: A Systematic Mapping Study of Team Processes and Performance

Scenario-Based Compositional Statistical Model Checking for Safety Specifications

Automatic Code Documentation Generation Using GPT-3

Same Patient, Different Order: Action-Level Reliability of Clinical LLM Agents Under Repeated Runs

The Agentic Company OS: Substrate Inversion for Sustained Enterprise Agent Deployment

Beyond Type-checking: Towards Holistic Evaluation of Formal Specification Generation

AutoTailor: Automatic, User-Aligned Capability Selection and Adaptation for Web Agents

Automatically Detecting and Fixing Deadlocks in Go Code with GoDDaR

TestJack: Should you trust the results in coding benchmarks? Agentic Coding Benchmarks Auditing via Evaluator Evolution

Analysis and Visualization of the Linux Kernel's Software Evolution Using the City Metaphor

A Chat Assistant for Software Exploration in a 3D Software Visualization

Spreadsheet Errors: What We Know. What We Think We Can Do

Implementing the Spec Growth Engine: Preventing Spec-Code Divergence, and Growing the Spec with Agents

Detecting HTTP Status Code Misuses in REST APIs via Static and Dynamic Analysis

Hieronym: Leveraging Hierarchical Multi-Source Information for Function Renaming in Stripped Binary

Beyond Establishing the Four-Day Workweek: Understanding Adaptation and Long-Term Survival in an Agile Software Organization

PQLS: A High-Performance Python Library for Steady-State Simulation of Open Quantum Systems

ParanoiaEval: Benchmarking Unnecessary Defensive Work in Agentic Coding

Evaluating Change Point Detection Methods for Software Performance Regression Analysis

Visible Reasoning Is Not a Universal Optimizer: Persona- and Thinking-Dependent Effects in Analytics Code Generation

Agentic Software Engineering: Foundational Pillars and a Research Roadmap

When Flaws Cascade: Understanding Vulnerabilities and Exploitation Chains in JavaScript Engines

SimulaQron - A simulator for developing quantum internet software

Test Set Diameter: Quantifying the Diversity of Sets of Test Cases

SpecGuard: Proving a Task Is Broken Before the Agent Cheats

Root-Cause Attribution Is a Search Problem: Continual Search for Long-Horizon Agent Failures

Mitigating Uncertainty Interactions in GenAI-based Adaptive Systems: Vision, Challenges and Preliminary Guidelines

Formal Analysis and Supply Chain Security for Agentic AI Skills

The Data Problem in Software Vulnerability Analysis: Artifacts, Quality, and Consumption

From Monolith to Microservices: A Classification of Refactoring Approaches

Code Understanding is a Bottleneck for Coding Agents

PolyCodeEval: Benchmarking Multilingual Code Generation from Functions to Repositories

ObliVul: Alert-Conditioned Safety Obligation Modeling and Bidirectional Counterfactual Validation for Code Vulnerability Detection

Reliability Characterization for N-version Object Detection

ParaRecover: A Process-Level Benchmark for Error Localization and Recovery in Parallel Tool-Use Agents

The Quamoco Product Quality Modelling and Assessment Approach

Evaluating Local Language Model Agents for Reproducible Data Engineering: An Empirical Software Engineering Study of Mobility Workflows