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,101 to 2,160 of 2,808

The Vibe Shift in Software Engineering: Evaluating AI-Led Conversational Programming for Performance, Cognition, and Responsible Adoption
Sales G. Aribe, Louie Jay S. Labastida
cs.SEcs.AIcs.ETarXiv:2609.09560v12026
cuQuantum SDK: A High-Performance Library for Accelerating Quantum Science
Harun Bayraktar, Ali Charara, David Clark +19
quant-phcs.PFcs.SEarXiv:2308.01999v12023
Developer Experience: Concept and Definition
Fabian Fagerholm, Jürgen Münch
cs.SEarXiv:1312.1452v12013
Refactoring React Component Hierarchies to Eliminate Prop Drilling
Vangelis Gkinis, Vassilis E. Zafeiris
cs.SEarXiv:2610.01376v12026
When Does Correction Become Repair? Mechanistic Auditing of Internal Interventions in Tool-Using LLMs
Jiayi Li, Ruizhe Li
cs.CLcs.SEarXiv:2609.36138v12026
A Design Theory for AI-Assisted Software Development Derived from Christopher Alexander's Theory of Form
Chien-Tsun Chen, Yu Chin Cheng
cs.SEarXiv:2610.01372v12026
The Thousand-Graph Hypothesis: A Testable Hypothesis of Task-Conditioned Relation Materialization in Repository-Level Code Reasoning
Fei Ding
cs.SEcs.CLarXiv:2608.26602v12026
Trust the Spec, Not the Code - A Specification-First, AI-Assisted Case Study in Online Banking
Eitan Farchi
cs.SEarXiv:2609.07365v12026
Neural Program Repair with Execution-based Backpropagation
He Ye, Matias Martinez, Martin Monperrus
cs.SEarXiv:2105.04123v32021
One Is Not Enough: The Untold Story of Multiple Security Patches for One Vulnerability
Fangyuan Zhang, Lyuye Zhang, Lingling Fan +6
cs.SEcs.CRarXiv:2609.07224v12026
Revisiting the Core Ontology and Problem in Requirements Engineering
Ivan Jureta, John Mylopoulos, Stephane Faulkner
cs.SEarXiv:0811.4364v12008
JAMER: Project-Level Code Framework Dataset and Benchmark on Professional Game Engines
Jianwen Sun, Chuanhao Li, Zizhen Li +5
cs.SEcs.CLarXiv:2606.19830v22026
CodeSearchNet Challenge: Evaluating the State of Semantic Code Search
Hamel Husain, Ho-Hsiang Wu, Tiferet Gazit +2
cs.LGcs.IRcs.SEarXiv:1909.09436v32019
An Empirical Study of Harness Design for Coding Agents
Run-Ze Fan, Zihao Zhang, Simin Ma +6
cs.AIcs.CLcs.LGarXiv:2609.20804v12026
ZeroLeak: Using LLMs for Scalable and Cost Effective Side-Channel Patching
M. Caner Tol, Berk Sunar
cs.CRcs.LGcs.SEarXiv:2308.13062v12023
Using Models at Runtime to Address Assurance for Self-Adaptive Systems
Betty Cheng, Kerstin Eder, Martin Gogolla +10
cs.SEarXiv:1505.00903v12015
Less is More: Adaptive Program Repair with Bug Localization and Preference Learning
Zhenlong Dai, Bingrui Chen, Zhuoluo Zhao +5
cs.SEcs.CLarXiv:2503.06510v12025
AUITestAgent: Automatic Requirements Oriented GUI Function Testing
Yongxiang Hu, Xuan Wang, Yingchuan Wang +5
cs.SEarXiv:2407.09018v12024
LLaMA-Reviewer: Advancing Code Review Automation with Large Language Models through Parameter-Efficient Fine-Tuning
Junyi Lu, Lei Yu, Xiaojia Li +2
cs.SEcs.CLcs.LGarXiv:2308.11148v22023
Symbol Preference Aware Generative Models for Recovering Variable Names from Stripped Binary
Xiangzhe Xu, Zhuo Zhang, Zian Su +8
cs.SEarXiv:2306.02546v42023
PaperCompiler: Faithful Paper-to-Code Generation via Repository-Level Specification Compilation
Yunhao Liu, Hong Phuc Pham, Jaehong Yoon
cs.CLcs.AIcs.SEarXiv:2609.02272v12026
SWE-EVO: Benchmarking Coding Agents in Long-Horizon Software Evolution Scenarios
Tue Le, Minh V. T. Thai, Dung Nguyen Manh +2
cs.SEcs.AIcs.MAarXiv:2512.18470v62025
DIRE: A Neural Approach to Decompiled Identifier Naming
Jeremy Lacomis, Pengcheng Yin, Edward J. Schwartz +4
cs.SEarXiv:1909.09029v22019
The Psychological Costs of Artificial Intelligence Adoption in Software Engineering
Adam Alami, Elda Paja, Abhishek Tiwari
cs.SEcs.AIarXiv:2609.03456v12026
Specifying and Maintaining Agentic Workflows: An Empirical Study of GitHub Agentic Workflows
Jasem Khelifi, Issam Oukhay, Ali Ouni +2
cs.SEarXiv:2609.27263v12026
What Does an Agentic Software Engineering Benchmark Measure? Profiling Task Demands and Agent Behaviour Beyond What Category Labels Reveal
Radin Shayanfar, Keheliya Gallaba, Ahmed E. Hassan
cs.SEcs.CLarXiv:2609.01271v12026
Spec-Driven Development for Agentic Software Engineering: Harnessing Human-Agent Teamwork
Jessica Diaz, Joaquin Gayoso, Andrea Cimminio +1
cs.SEarXiv:2609.00252v12026
CATCODER: Repository-Level Code Generation with Relevant Code and Type Context
Zhiyuan Pan, Xing Hu, Xin Xia +1
cs.SEcs.AIarXiv:2406.03283v22024
Towards an Asset Administration Shell Maturity Model
Carsten Ellwein, David Dietrich, Rozana Cvitkovic +1
cs.SEeess.SYarXiv:2609.17084v12026
Robust Code RL via Faulty-Code-Driven Test case Synthesis and Dense Reward Shaping
Yiwen Zhang, Xiaodong Yan, Zhenyu Huang +6
cs.AIcs.SEarXiv:2608.24135v12026
Software Development in Startup Companies: The Greenfield Startup Model
Carmine Giardino, Nicolò Paternoster, Michael Unterkalmsteiner +2
cs.SEarXiv:2308.09438v12023
Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy Search
Jialin Lu, Soonho Kong, Rodrigo Stehling +4
cs.LOcs.AIcs.CLarXiv:2605.20244v22026
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts
Mark Mossberg, Felipe Manzano, Eric Hennenfent +5
cs.SEcs.CRarXiv:1907.03890v32019
An Analysis of the Search Spaces for Generate and Validate Patch Generation Systems
Fan Long, Martin Rinard
cs.SEarXiv:1602.05643v12016
FastCI: Efficient GPU-Intensive CI for LLM Training Frameworks
Tianshuo Qiao, Naiqian Zheng, Xiaopeng Liu +4
cs.LGcs.SEarXiv:2610.01967v12026
On the Evaluation of Neural Code Summarization
Ensheng Shi, Yanlin Wang, Lun Du +5
cs.SEcs.AIarXiv:2107.07112v22021
Coder Reviewer Reranking for Code Generation
Tianyi Zhang, Tao Yu, Tatsunori B. Hashimoto +4
cs.LGcs.CLcs.PLarXiv:2211.16490v12022
Diff-XYZ: A Benchmark for Evaluating Diff Understanding
Evgeniy Glukhov, Michele Conti, Egor Bogomolov +2
cs.SEcs.LGarXiv:2510.12487v22025
LLM-as-a-Judge for Software Engineering: Literature Review, Vision, and the Road Ahead
Junda He, Jieke Shi, Terry Yue Zhuo +5
cs.SEarXiv:2510.24367v12025
SemCoder: Training Code Language Models with Comprehensive Semantics Reasoning
Yangruibo Ding, Jinjun Peng, Marcus J. Min +3
cs.CLcs.AIcs.SEarXiv:2406.01006v22024
optimize_anything: A Universal API for Optimizing any Text Parameter
Lakshya A Agrawal, Donghyun Lee, Shangyin Tan +11
cs.CLcs.AIcs.LGarXiv:2605.19633v12026
trajectory-judge: What Outcome-Only LLM Judges Miss on Agent Trajectories
Hadi Mohammadi
cs.CLcs.AIcs.SEarXiv:2609.00038v12026
MOCHA: Multi-Objective Chebyshev Annealing for Agent Skill Optimization
Md Mehrab Tanjim, Jayakumar Subramanian, Xiang Chen +6
cs.AIcs.LGcs.SEarXiv:2605.19330v12026
SWE-Bench++: A Framework for the Scalable Generation of Software Engineering Benchmarks from Open-Source Repositories
Lilin Wang, Lucas Ramalho, Alan Celestino +6
cs.SEcs.AIcs.CLarXiv:2512.17419v12025
Diffs vs. Whole Files: An Empirical Comparison of Iterative Edit-Based and Direct Generation for Flutter/Dart Code Models
Andrej Andrejev
cs.SEcs.AIarXiv:2609.05779v12026
BeTaL-GBI: Admission-Aware Benchmark Tuning and Full-Stack Verification of Geometric Belief Interfaces
Alvin Spivey, Yu Huang
cs.SEcs.CRcs.LGarXiv:2608.21503v12026
OpenGame: Open Agentic Coding for Games
Yilei Jiang, Jinyuan Hu, Qianyin Xiao +8
cs.SEarXiv:2604.18394v12026
The Impact of Automated Parameter Optimization on Defect Prediction Models
Chakkrit Tantithamthavorn, Shane McIntosh, Ahmed E. Hassan +1
cs.SEarXiv:1801.10270v12018
Natural-Language Workflows Are Not Software Yet: Artifact-Driven Compilation for Reliable Agent Execution
Xiangzhe Xu, Hanxi Guo, Guangyu Shen +2
cs.SEarXiv:2608.21341v12026
TALM: Dynamic Tree-Structured Multi-Agent Framework with Long-Term Memory for Scalable Code Generation
Ming-Tung Shen, Yuh-Jzer Joung
cs.SEarXiv:2510.23010v22025
NNSmith: Generating Diverse and Valid Test Cases for Deep Learning Compilers
Jiawei Liu, Jinkun Lin, Fabian Ruffy +4
cs.LGcs.SEarXiv:2207.13066v22022
SPIDER4TianoCore: Enhancing Patch-Propagation for the TianoCore UEFI Firmware Development Ecosystem
Laura Baird, Devin Haggitt, Terrance E. Boult +2
cs.SEarXiv:2608.23755v12026
SemaPLC: A Project-Grounded, Verification-Gated Agent Harness for PLC Code Generation
Yanlun Tu, Huacan Wang, Ziyue Zhou +10
cs.SEarXiv:2608.18565v12026
A Literature Study of Embeddings on Source Code
Zimin Chen, Martin Monperrus
cs.LGcs.PLcs.SEarXiv:1904.03061v12019
Neural Network Verification for Deep Joint Source-Channel Coding
Thanh Le, Hai Duong, Takeshi Matsumura +1
cs.SEcs.AIarXiv:2610.11994v12026
VeriGen: A Large Language Model for Verilog Code Generation
Shailja Thakur, Baleegh Ahmad, Hammond Pearce +4
cs.PLcs.LGcs.SEarXiv:2308.00708v12023
No More Fine-Tuning? An Experimental Evaluation of Prompt Tuning in Code Intelligence
Chaozheng Wang, Yuanhang Yang, Cuiyun Gao +3
cs.SEcs.AIarXiv:2207.11680v12022
Understanding Flaky Tests: The Developer's Perspective
Moritz Eck, Fabio Palomba, Marco Castelluccio +1
cs.SEarXiv:1907.01466v12019
OpenCodeInterpreter: Integrating Code Generation with Execution and Refinement
Tianyu Zheng, Ge Zhang, Tianhao Shen +5
cs.SEcs.AIcs.CLarXiv:2402.14658v32024
Overeager Coding Agents: Measuring Out-of-Scope Actions on Benign Tasks
Yubin Qu, Ying Zhang, Yanjun Zhang +4
cs.SEcs.AIcs.CLarXiv:2605.18583v12026

Software Engineering

The Vibe Shift in Software Engineering: Evaluating AI-Led Conversational Programming for Performance, Cognition, and Responsible Adoption

cuQuantum SDK: A High-Performance Library for Accelerating Quantum Science

Developer Experience: Concept and Definition

Refactoring React Component Hierarchies to Eliminate Prop Drilling

When Does Correction Become Repair? Mechanistic Auditing of Internal Interventions in Tool-Using LLMs

A Design Theory for AI-Assisted Software Development Derived from Christopher Alexander's Theory of Form

The Thousand-Graph Hypothesis: A Testable Hypothesis of Task-Conditioned Relation Materialization in Repository-Level Code Reasoning

Trust the Spec, Not the Code - A Specification-First, AI-Assisted Case Study in Online Banking

Neural Program Repair with Execution-based Backpropagation

One Is Not Enough: The Untold Story of Multiple Security Patches for One Vulnerability

Revisiting the Core Ontology and Problem in Requirements Engineering

JAMER: Project-Level Code Framework Dataset and Benchmark on Professional Game Engines

CodeSearchNet Challenge: Evaluating the State of Semantic Code Search

An Empirical Study of Harness Design for Coding Agents

ZeroLeak: Using LLMs for Scalable and Cost Effective Side-Channel Patching

Using Models at Runtime to Address Assurance for Self-Adaptive Systems

Less is More: Adaptive Program Repair with Bug Localization and Preference Learning

AUITestAgent: Automatic Requirements Oriented GUI Function Testing

LLaMA-Reviewer: Advancing Code Review Automation with Large Language Models through Parameter-Efficient Fine-Tuning

Symbol Preference Aware Generative Models for Recovering Variable Names from Stripped Binary

PaperCompiler: Faithful Paper-to-Code Generation via Repository-Level Specification Compilation

SWE-EVO: Benchmarking Coding Agents in Long-Horizon Software Evolution Scenarios

DIRE: A Neural Approach to Decompiled Identifier Naming

The Psychological Costs of Artificial Intelligence Adoption in Software Engineering

Specifying and Maintaining Agentic Workflows: An Empirical Study of GitHub Agentic Workflows

What Does an Agentic Software Engineering Benchmark Measure? Profiling Task Demands and Agent Behaviour Beyond What Category Labels Reveal

Spec-Driven Development for Agentic Software Engineering: Harnessing Human-Agent Teamwork

CATCODER: Repository-Level Code Generation with Relevant Code and Type Context

Towards an Asset Administration Shell Maturity Model

Robust Code RL via Faulty-Code-Driven Test case Synthesis and Dense Reward Shaping

Software Development in Startup Companies: The Greenfield Startup Model

Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy Search

Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts

An Analysis of the Search Spaces for Generate and Validate Patch Generation Systems

FastCI: Efficient GPU-Intensive CI for LLM Training Frameworks

On the Evaluation of Neural Code Summarization

Coder Reviewer Reranking for Code Generation

Diff-XYZ: A Benchmark for Evaluating Diff Understanding

LLM-as-a-Judge for Software Engineering: Literature Review, Vision, and the Road Ahead

SemCoder: Training Code Language Models with Comprehensive Semantics Reasoning

optimize_anything: A Universal API for Optimizing any Text Parameter

trajectory-judge: What Outcome-Only LLM Judges Miss on Agent Trajectories

MOCHA: Multi-Objective Chebyshev Annealing for Agent Skill Optimization

SWE-Bench++: A Framework for the Scalable Generation of Software Engineering Benchmarks from Open-Source Repositories

Diffs vs. Whole Files: An Empirical Comparison of Iterative Edit-Based and Direct Generation for Flutter/Dart Code Models

BeTaL-GBI: Admission-Aware Benchmark Tuning and Full-Stack Verification of Geometric Belief Interfaces

OpenGame: Open Agentic Coding for Games

The Impact of Automated Parameter Optimization on Defect Prediction Models

Natural-Language Workflows Are Not Software Yet: Artifact-Driven Compilation for Reliable Agent Execution

TALM: Dynamic Tree-Structured Multi-Agent Framework with Long-Term Memory for Scalable Code Generation

NNSmith: Generating Diverse and Valid Test Cases for Deep Learning Compilers

SPIDER4TianoCore: Enhancing Patch-Propagation for the TianoCore UEFI Firmware Development Ecosystem

SemaPLC: A Project-Grounded, Verification-Gated Agent Harness for PLC Code Generation

A Literature Study of Embeddings on Source Code

Neural Network Verification for Deep Joint Source-Channel Coding

VeriGen: A Large Language Model for Verilog Code Generation

No More Fine-Tuning? An Experimental Evaluation of Prompt Tuning in Code Intelligence

Understanding Flaky Tests: The Developer's Perspective

OpenCodeInterpreter: Integrating Code Generation with Execution and Refinement

Overeager Coding Agents: Measuring Out-of-Scope Actions on Benign Tasks