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)

2,401 to 2,460 of 2,806

Scale, Concentration, and Entry Timing in the Shopify App Ecosystem: A Longitudinal Study of Platform Governance and Application Survival
Fabrizio Assabese, Peter-Jan Celis, Giuseppe Destefanis
cs.SEarXiv:2608.23771v12026
The reach of a verification tool decides its value: A controlled study of verification surface, artifact quality, and cost in AI coding agents
Achint Mehta
cs.SEcs.AIarXiv:2608.28795v12026
When Verified Source Becomes Attack Input: Defending Smart Contracts Against LLM-Based Vulnerability Scanning
Mingyuan Huang, Zimo Ji, Yifan Mo +1
cs.CRcs.SEarXiv:2608.28400v12026
T(r)opical Islands: Visualizing & Understanding Socio-Technical Artifacts
Adam Štěpánek, Marco Raglianti, Vít Rusňák +3
cs.SEarXiv:2609.05254v12026
ShikumiMiner: Mining Recurring Implementation Patterns in AI Codebases
Afsana Tasnim, Sheikh Motahar Naim
cs.SEarXiv:2609.02789v12026
A Phased Workflow for Operating LLM-Based Coding Agents
Ante Kapetanovic, Tomislav Duricic, Andro Mercep +1
cs.SEarXiv:2608.30701v12026
How Developers Discuss Generative AI: A Longitudinal Study of the Visual Studio Code Community
Panida Rumriankit, Akito Monden, Hiroki Inayoshi +4
cs.SEarXiv:2609.04680v12026
Update from Hell: Can Coding Agents Survive Hidden Breakage in Dependency Upgrades?
Zijian Luo, Runzhi He, Pengfei Gao +6
cs.SEarXiv:2608.30300v12026
KubeCap: A Framework for Capability Minimization in Kubernetes via Static Analysis and LLM-Assisted Rule Inference
Yuhao Liu, Yingnan Zhou, Weijie Liu +2
cs.CRcs.SEarXiv:2608.26699v12026
Runtime-Independent Persistent Agents: Preserving Identity, Memory, and Code Across Models, Harnesses, and Servers
Zhenyu Zhao, Roy Zhao
cs.SEcs.AIarXiv:2609.00546v12026
Exploring Quantum Software Testing Across Research and Practice: Emerging Results from a Multivocal Literature Review
Rodolfo Gil-Pereira, Ronnie de Souza Santos, Cleyton Magalhaes +1
cs.SEarXiv:2609.00354v12026
Large Language Models for Fuzz Testing in Microservices: A Systematic Literature Review
Ying Song, Ke Ping, Yuqing Wang +1
cs.SEarXiv:2609.04219v12026
Robustness and Trade-offs for Code LLMs on Protected Code
Jin Wen, Yuejun Guo, Yujie Ma +2
cs.SEarXiv:2609.04220v12026
Securing AI-Generated Code: A Just-in-Time Vulnerability Detection and Remediation Pipeline
Mikhail Surikov
cs.CRcs.AIcs.SEarXiv:2608.16187v12026
WiseSpec: Requirements-Driven Agents for Code Generation
Zhao Tian
cs.SEcs.AIarXiv:2609.00568v12026
CC4M: Code Clone Analysis and Visualization for Microservices
Gen Kawamata, Yuki Ota, Norihiro Yoshida +3
cs.SEarXiv:2608.28111v12026
Observability and Fault Injection for LLM-Based Multi-Agent Systems in Software Engineering
Zahra Seyedghorban, Egor Klimov, Arie van Deursen +2
cs.SEarXiv:2608.24271v12026
Model-Based Agentic Software Engineering
James C. Davis, Kelechi Kalu, Huiyun Peng +1
cs.SEarXiv:2608.25174v12026
Grounded Checklist Partial Credit for Agent Skill Trajectories
Suliu Qin, Lu Yin, Xilu Wang
cs.SEarXiv:2608.27487v12026
The Exclusion Ratchet: False-Positive Suppression Accumulates and Persists in Detection Rule Repositories
Sudaroli Dhananjeyan, Kumaran U
cs.CRcs.SEarXiv:2608.31062v12026
''You Can't Open an LLM With a Screwdriver'': The De-Democratization of Software
Zixuan Feng, Italo Santos, Kostadin Damevski +1
cs.SEarXiv:2608.24720v12026
Causal Explanations of Process Monitor Predictions
Tom Yaacov, Nathan Blake, Hana Chockler
cs.SEarXiv:2608.24672v12026
Evaluating human and LLM screening workflows in a conceptually complex scoping review: Recall--workload trade-offs and run-to-run consistency
Nikol Figalová, Lynn Huestegge, Anne Böckler-Raettig
cs.AIcs.HCcs.SEarXiv:2608.26885v12026
What Survives the Next Model? Benchmarking LLM-Based Techniques Against Single-Prompts
Nahian Salsabil, Joy Saha, Simantika Bhattacharjee Dristi +4
cs.SEarXiv:2609.00468v12026
Investigating Software Aging in LLM-Generated Software Systems across Generation-and-Execution Environments
Cesar Santos, Michele Vitagliano, Roberto Natella +1
cs.SEarXiv:2608.26391v12026
Cost-Utility Alignment in LLM Agent Trajectories:Profiling,Attribution,Diagnosis,Adaptation,and Evaluation
Dan Liu, Jian Li
cs.SEarXiv:2608.26195v12026
Structure-Behavior Coalescence and the Limits of Traditional Systems Theory
William S. Chao
cs.SEeess.SYarXiv:2609.00042v12026
From Architecture to Binary: Ensuring Cross-Domain Consistency in Model-Based Airborne Software Development
Nils Schlautmann, Viktor Sinitsyn, Benjamin Engelhard +1
cs.SEarXiv:2608.28156v12026
ARGUS: MCP-Grounded Root Cause Analysis for Kubernetes Incidents
Ergi Senja, Seyed Mohammad Reza Razavi Zadegan, Philipp Leitner
cs.SEarXiv:2608.23084v12026
SkillForge: Self-Distilling Agents for Project-Specific Issue Resolution
Silin Chen, Han Li, Xiaodong Gu +2
cs.SEcs.AIarXiv:2608.18933v12026
An Extensive Empirical Study on Code Translation Technique
Ruihang Fan, Jiajun Jiang, Xinpeng Wang +3
cs.SEcs.PLarXiv:2608.20776v12026
Decoupling is a Necessity: Transformation-Agnostic Decompiled Code Recovery under Optimization and Obfuscation
Zhiping Zhou, Xiaohong Li, Ruitao Feng +3
cs.SEarXiv:2608.27889v12026
DeepRepro: State-Aware Subplanning for Paper-to-Code Reproduction in Evolving Repositories
Hongru Song, Ruqing Zhang, Jiafeng Guo +2
cs.SEarXiv:2608.26557v12026
Agentic AI Containment Architecture for Security Hardening
Mohamed ElBendary
cs.SEarXiv:2608.26108v12026
A System-of-Systems Case Study for the Verification of Composed Digital Twins
Mennatullah T. Khedr, Mengwei Xu, John S. Fitzgerald +1
cs.SEarXiv:2608.28498v12026
AgentDV: Closed-Loop Agentic AI for Hardware Design Verification
Navya Goli, Junzhe Liu, Zhenge Jia +1
cs.SEarXiv:2608.27148v12026
Retry Amplification in Distributed Systems: A Systematic Analysis of Retry Policies and Their Role in Cascading Failures
Rishabh Mehan, Jasmit Kaur Saluja
cs.SEarXiv:2608.25403v12026
Scalable Distributed Simulation-Based Testing for Automated Driving Systems
Christian Geller, Benedikt Haas, Lutz Eckstein
cs.ROcs.DBcs.SEarXiv:2608.20904v12026
FrontierChallenge: Evaluating Scientific Workflow Completion
Liangcai Su, Zhaopeng Feng, Zhuo Chen +13
cs.AIcs.CLcs.SEarXiv:2608.24979v12026
When Agentic Executions Fail: Detecting and Localizing Runtime Faults from Telemetry
Chenkai Zhang, Yiran Li, Yifang Tian +2
cs.AIcs.SEarXiv:2608.14680v12026
Summaries:한국어
Aging of Prompt Engineering Techniques Across LLM Versions
Anastasiia Rudyk, Julian Oertel, Regina Hebig
cs.SEarXiv:2608.24641v12026
Mixed-Precision SEM-Based CFD Simulations on GPUs: A Taylor-Green Vortex case
Yanxiang Chen, Manuel Münsch, Roman Iakymchuk
cs.DCcs.SEarXiv:2608.24348v12026
Towards Risk-free AI Agent Deployment
Yintong Huo, Rangeet Pan, Abhik Roychoudhury
cs.SEcs.AIarXiv:2608.16411v12026
Enhancing Bug Report Templates in the TianoCore UEFI Firmware Development Community
Laura Baird, Neelesh Reddybattula, Nazanin Siavash +2
cs.SEarXiv:2608.23754v12026
Characterizing the Quality Profile of AI-Generated C++ in Production
Michael Tran, Fred Lewis, Kun Yang +5
cs.SEcs.AIarXiv:2608.06640v12026
VR-Themis: A Scalable Framework for Virtual Reality Application Clone Detection
Gengyang Xu, Hanyang Guo, Hong-Ning Dai +1
cs.CRcs.SEarXiv:2608.13290v12026
StateAct: Program State, before Pixels, for Long-Horizon Computer-Use Agents
Yan Yang, Xiangru Jian, Ziyang Luo +7
cs.SEcs.CVarXiv:2607.22798v12026
Formalizing and Automating Fine-Grained Move Refactorings Across Methods
Kota Yasuhara, Shinpei Hayashi
cs.SEarXiv:2608.23377v12026
NexForge: Scaling Agent Capabilities through Requirement-Driven Task Synthesis for LLMs
Jiarong Zhao, Zhikai Lei, Zhiheng Xi +5
cs.SEcs.AIcs.LGarXiv:2607.14186v62026
Building AI-Intensive Software with AI: Early Results and a Cautionary Tale on Measuring Development Cost
Victor Barros de Miranda Neves, Kiev Santos da Gama, Vinicius Cardoso Garcia
cs.SEcs.AIcs.LGarXiv:2608.13730v12026
LLMCrater: Lifecycle-Aware FAIR Metadata Generation using Large Language Models
Dani Termaat, Nafiseh Soveizi, Zhiming Zhao +1
cs.SEarXiv:2608.23158v12026
Large Language Models at the Intersection of Software Engineering and Software Security:An Evidence-Centered Structured Survey and Research Agenda
Wei Lin, Tao Zhou, Zhaofei Xie +1
cs.AIcs.SEarXiv:2608.21107v12026
Do Not Copy/Paste: Soft Barriers for Copying in AI-Assisted Programming
Iyiola E. Olatunji, Alberick Euraste Djire, Jacques Klein +1
cs.SEcs.AIarXiv:2608.22638v12026
Toward Understanding Operating System Defects
Hongyao Zuo, Jiali Li, Jiajun Jiang
cs.SEarXiv:2608.20643v12026
Rethinking Self-Evolving Agent Skills: Feedback Dynamics over Multiple Rounds
Yuxuan Liu, Zhaochen Su, Yuhao Zhang +9
cs.SEcs.AIarXiv:2608.02636v12026
Empirical Study on the Characteristics and Evolution of AI-usage in GitHub Repositories: Evidence from Code Comments
Abdullah Al Mujahid, Preetha Chatterjee, Mia Mohammad Imran
cs.SEarXiv:2606.06843v12026
TrajAudit: Automated Failure Diagnosis for Agentic Coding Systems
Minxing Wang, Xiaofei Xie, Yintong Huo
cs.SEarXiv:2605.26563v32026
The Software Supply Chain as a Market for Lemons: A Multivocal Review of Trust Signal Collapse
Ranindya Paramitha, Christian Kästner, Laurie Williams
cs.CRcs.SEarXiv:2608.20678v12026
Tuning the Stochastic Machine: A Systems Engineer's Operating Model for Human-AI Engineering
George Andrikopoulos
cs.AIcs.SEarXiv:2608.19125v12026
No Resource, No Benchmarks, No Problem? Evaluating and Improving LLMs for Code Generation in No-Resource Languages
Alessandro Giagnorio, Alberto Martin-Lopez, Gabriele Bavota
cs.SEarXiv:2606.16827v12026

Software Engineering

Scale, Concentration, and Entry Timing in the Shopify App Ecosystem: A Longitudinal Study of Platform Governance and Application Survival

The reach of a verification tool decides its value: A controlled study of verification surface, artifact quality, and cost in AI coding agents

When Verified Source Becomes Attack Input: Defending Smart Contracts Against LLM-Based Vulnerability Scanning

T(r)opical Islands: Visualizing & Understanding Socio-Technical Artifacts

ShikumiMiner: Mining Recurring Implementation Patterns in AI Codebases

A Phased Workflow for Operating LLM-Based Coding Agents

How Developers Discuss Generative AI: A Longitudinal Study of the Visual Studio Code Community

Update from Hell: Can Coding Agents Survive Hidden Breakage in Dependency Upgrades?

KubeCap: A Framework for Capability Minimization in Kubernetes via Static Analysis and LLM-Assisted Rule Inference

Runtime-Independent Persistent Agents: Preserving Identity, Memory, and Code Across Models, Harnesses, and Servers

Exploring Quantum Software Testing Across Research and Practice: Emerging Results from a Multivocal Literature Review

Large Language Models for Fuzz Testing in Microservices: A Systematic Literature Review

Robustness and Trade-offs for Code LLMs on Protected Code

Securing AI-Generated Code: A Just-in-Time Vulnerability Detection and Remediation Pipeline

WiseSpec: Requirements-Driven Agents for Code Generation

CC4M: Code Clone Analysis and Visualization for Microservices

Observability and Fault Injection for LLM-Based Multi-Agent Systems in Software Engineering

Model-Based Agentic Software Engineering

Grounded Checklist Partial Credit for Agent Skill Trajectories

The Exclusion Ratchet: False-Positive Suppression Accumulates and Persists in Detection Rule Repositories

''You Can't Open an LLM With a Screwdriver'': The De-Democratization of Software

Causal Explanations of Process Monitor Predictions

Evaluating human and LLM screening workflows in a conceptually complex scoping review: Recall--workload trade-offs and run-to-run consistency

What Survives the Next Model? Benchmarking LLM-Based Techniques Against Single-Prompts

Investigating Software Aging in LLM-Generated Software Systems across Generation-and-Execution Environments

Cost-Utility Alignment in LLM Agent Trajectories:Profiling,Attribution,Diagnosis,Adaptation,and Evaluation

Structure-Behavior Coalescence and the Limits of Traditional Systems Theory

From Architecture to Binary: Ensuring Cross-Domain Consistency in Model-Based Airborne Software Development

ARGUS: MCP-Grounded Root Cause Analysis for Kubernetes Incidents

SkillForge: Self-Distilling Agents for Project-Specific Issue Resolution

An Extensive Empirical Study on Code Translation Technique

Decoupling is a Necessity: Transformation-Agnostic Decompiled Code Recovery under Optimization and Obfuscation

DeepRepro: State-Aware Subplanning for Paper-to-Code Reproduction in Evolving Repositories

Agentic AI Containment Architecture for Security Hardening

A System-of-Systems Case Study for the Verification of Composed Digital Twins

AgentDV: Closed-Loop Agentic AI for Hardware Design Verification

Retry Amplification in Distributed Systems: A Systematic Analysis of Retry Policies and Their Role in Cascading Failures

Scalable Distributed Simulation-Based Testing for Automated Driving Systems

FrontierChallenge: Evaluating Scientific Workflow Completion

When Agentic Executions Fail: Detecting and Localizing Runtime Faults from Telemetry

Aging of Prompt Engineering Techniques Across LLM Versions

Mixed-Precision SEM-Based CFD Simulations on GPUs: A Taylor-Green Vortex case

Towards Risk-free AI Agent Deployment

Enhancing Bug Report Templates in the TianoCore UEFI Firmware Development Community

Characterizing the Quality Profile of AI-Generated C++ in Production

VR-Themis: A Scalable Framework for Virtual Reality Application Clone Detection

StateAct: Program State, before Pixels, for Long-Horizon Computer-Use Agents

Formalizing and Automating Fine-Grained Move Refactorings Across Methods

NexForge: Scaling Agent Capabilities through Requirement-Driven Task Synthesis for LLMs

Building AI-Intensive Software with AI: Early Results and a Cautionary Tale on Measuring Development Cost

LLMCrater: Lifecycle-Aware FAIR Metadata Generation using Large Language Models

Large Language Models at the Intersection of Software Engineering and Software Security:An Evidence-Centered Structured Survey and Research Agenda

Do Not Copy/Paste: Soft Barriers for Copying in AI-Assisted Programming

Toward Understanding Operating System Defects

Rethinking Self-Evolving Agent Skills: Feedback Dynamics over Multiple Rounds

Empirical Study on the Characteristics and Evolution of AI-usage in GitHub Repositories: Evidence from Code Comments

TrajAudit: Automated Failure Diagnosis for Agentic Coding Systems

The Software Supply Chain as a Market for Lemons: A Multivocal Review of Trust Signal Collapse

Tuning the Stochastic Machine: A Systems Engineer's Operating Model for Human-AI Engineering

No Resource, No Benchmarks, No Problem? Evaluating and Improving LLMs for Code Generation in No-Resource Languages