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,041 to 2,100 of 2,789

A Literate Programming Environment for Human and Machine Agents
Adam T. Burke
cs.SEcs.AIcs.PLarXiv:2608.24644v12026
VidTutorAssistant: Automating Responses to Programming Tutorial Questions
Ahmad Tayeb, Sonia Haiduc, Mohammad D. Alahmadi
cs.SEarXiv:2609.29129v12026
The Quamoco Product Quality Modelling and Assessment Approach
Stefan Wagner, Klaus Lochmann, Lars Heinemann +6
cs.SEarXiv:1611.04433v12016
Neural Machine Translation Inspired Binary Code Similarity Comparison beyond Function Pairs
Fei Zuo, Xiaopeng Li, Patrick Young +3
cs.SEcs.CLcs.CRarXiv:1808.04706v22018
On the Efficiency of Test Suite based Program Repair: A Systematic Assessment of 16 Automated Repair Systems for Java Programs
Kui Liu, Shangwen Wang, Anil Koyuncu +7
cs.SEarXiv:2008.00914v12020
OptLLM: Optimal Assignment of Queries to Large Language Models
Yueyue Liu, Hongyu Zhang, Yuantian Miao +2
cs.SEcs.CLcs.LGarXiv:2405.15130v12024
BenchShield: Formal Model-Backed Instrumentation for Reward Integrity in LLM-Agent Evaluation Infrastructure
Shenghan Zheng, Zonglin Di, Yimin Liu +19
cs.CRcs.AIcs.SEarXiv:2609.11028v12026
Summaries:한국어
Prompt-based Code Completion via Multi-Retrieval Augmented Generation
Hanzhuo Tan, Qi Luo, Ling Jiang +4
cs.SEarXiv:2405.07530v12024
A Cartography of Open Collaboration in Open Source AI: Mapping Practices, Motivations, and Governance in 14 Open Large Language Model Projects
Johan Linåker, Cailean Osborne, Jennifer Ding +1
cs.SEcs.AIcs.LGarXiv:2509.25397v22025
Iterative Refinement of Project-Level Code Context for Precise Code Generation with Compiler Feedback
Zhangqian Bi, Yao Wan, Zheng Wang +7
cs.CLcs.SEarXiv:2403.16792v32024
PLC-Bin2Src: Retrieving Corresponding Structured Text Source Files for PLC Binaries
Ang Jia, Yaxin Duan, He Jiang +3
cs.SEarXiv:2609.08563v22026
CATERPILLAR: A Business Process Execution Engine on the Ethereum Blockchain
Orlenys López-Pintado, Luciano García-Bañuelos, Marlon Dumas +2
cs.SEarXiv:1808.03517v32018
DeepRepoQA: Code Repository Question Answering with Deep Agent Exploration
Weihan Peng, Yuling Shi, Yingwei Ma +3
cs.SEcs.CLcs.PLarXiv:2608.24221v12026
Repo2Skill-Evo: Repository Skills Go Stale in Silence
Chenyuan Duan, Ge Shi, Zineng Mao +10
cs.AIcs.SEarXiv:2608.21964v12026
Stop Comparing LLM Agents Without Disclosing the Harness
Yunbei Zhang, Janet Wang, Yingqiang Ge +3
cs.AIcs.SEarXiv:2605.23950v12026
ECO: An LLM-Driven Efficient Code Optimizer for Warehouse Scale Computers
Hannah Lin, Martin Maas, Maximilian Roquemore +17
cs.SEarXiv:2503.15669v22025
STELLAR: A Search-Based Testing Framework for Large Language Model Applications
Lev Sorokin, Ivan Vasilev, Ken E. Friedl +1
cs.SEarXiv:2601.00497v22026
A ready-to-deploy MLOps software platform for satellite and NEO detection at meter-class ground-based observatories
Rafael Carrillo Navarro, Pablo García-Martín, René Duffard +2
astro-ph.IMcs.SEarXiv:2609.27676v12026
BestConfig: Tapping the Performance Potential of Systems via Automatic Configuration Tuning
Yuqing Zhu, Jianxun Liu, Mengying Guo +5
cs.PFcs.DBcs.DCarXiv:1710.03439v12017
CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers?
Hang He, Li Wang, Hao Chen +9
cs.SEcs.AIcs.CRarXiv:2610.07557v12026
SaaSBench: Exploring the Boundaries of Coding Agents in Long-Horizon Enterprise SaaS Engineering
Qingnan Ren, Shun Zou, Shiting Huang +11
cs.SEcs.AIarXiv:2605.17526v12026
Agent Lightning v1.0: Towards Harnessed Agentic RL
Zhiyuan He, Siwei Zhang, Zhiwen Zhou +7
cs.AIcs.SEarXiv:2608.17528v12026
Cost-Efficient Theorem Proving via Agent Orchestration in Program Verification
Shuangjie Yao, Nikolaus Holzer, Mark Paul Santolucito +3
cs.AIcs.LOcs.PLarXiv:2610.09681v12026
Test Set Diameter: Quantifying the Diversity of Sets of Test Cases
Robert Feldt, Simon Poulding, David Clark +1
cs.SEarXiv:1506.03482v12015
ABC-Bench: Benchmarking Agentic Backend Coding in Real-World Development
Jie Yang, Honglin Guo, Li Ji +11
cs.SEcs.AIcs.CLarXiv:2601.11077v12026
When Agent Metrics Measure Different Things: An Evidence-Grounded Audit of the Praxa AI Pipeline
Stefan G. Creadore, Peyton Woakz
cs.SEcs.AIarXiv:2609.12017v12026
CRUST-Bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilation
Anirudh Khatry, Robert Zhang, Jia Pan +4
cs.SEcs.CLcs.LGarXiv:2504.15254v32025
Good Enough Practices in Scientific Computing
Greg Wilson, Jennifer Bryan, Karen Cranston +3
cs.SEarXiv:1609.00037v22016
EffiBench: Benchmarking the Efficiency of Automatically Generated Code
Dong Huang, Yuhao Qing, Weiyi Shang +2
cs.SEcs.CLarXiv:2402.02037v62024
RepoCoder: Repository-Level Code Completion Through Iterative Retrieval and Generation
Fengji Zhang, Bei Chen, Yue Zhang +6
cs.CLcs.AIcs.PLarXiv:2303.12570v32023
CodeTD: Topology of Attention Detects Hallucinations in Code LLMs
Daria Voronkova, Ilya Trofimov, Anton Dmitriev +3
cs.SEcs.AIcs.CLarXiv:2609.07779v12026
SpecGen: Automated Generation of Formal Program Specifications via Large Language Models
Lezhi Ma, Shangqing Liu, Yi Li +2
cs.SEarXiv:2401.08807v52024
AgentTether: Graph-Guided Diagnosis and Runtime Intervention for Reliable LLM Agent Operation
Chenyu Zhao, Shenglin Zhang, Wenwei Gu +5
cs.SEarXiv:2607.06273v12026
RefVerifier: Semi-Automated Reference Claim Verification for Scientific Manuscripts
Stefania Mocan, Florian Angermeir, Mark Kreitz
cs.SEarXiv:2609.07652v12026
Fill in the Blank: Context-aware Automated Text Input Generation for Mobile GUI Testing
Zhe Liu, Chunyang Chen, Junjie Wang +4
cs.SEarXiv:2212.04732v12022
Why We Refactor? Confessions of GitHub Contributors
Danilo Silva, Nikolaos Tsantalis, Marco Tulio Valente
cs.SEarXiv:1607.02459v12016
MCP-Atlas: A Large-Scale Benchmark for Tool-Use Competency with Real MCP Servers
Chaithanya Bandi, Razvan-Gabriel Dumitru, Ben Hertzberg +20
cs.SEcs.AIarXiv:2602.00933v32026
Cross-Stack Validation of Language-Model Training: A Clinical Fine-Tuning Case Study
Thang Tran, Lan Dang
cs.SEarXiv:2608.24267v12026
Summaries:한국어
Beyond Locks and Thread IDs: Static Data Race Detection Off The Beaten Path (Extended Version)
Daniel Bund, Julian Erhard, Michael Petter +1
cs.PLcs.SEarXiv:2609.00246v12026
A2ABreak: Systematic Security Analysis of the A2A Protocol
Alireza Lotfi, Mirza Masfiqur Rahman, Imtiaz Karim +1
cs.CRcs.SEarXiv:2609.10871v12026
R2E-Gym: Procedural Environments and Hybrid Verifiers for Scaling Open-Weights SWE Agents
Naman Jain, Jaskirat Singh, Manish Shetty +3
cs.SEcs.CLcs.LGarXiv:2504.07164v12025
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

Software Engineering

A Literate Programming Environment for Human and Machine Agents

VidTutorAssistant: Automating Responses to Programming Tutorial Questions

The Quamoco Product Quality Modelling and Assessment Approach

Neural Machine Translation Inspired Binary Code Similarity Comparison beyond Function Pairs

On the Efficiency of Test Suite based Program Repair: A Systematic Assessment of 16 Automated Repair Systems for Java Programs

OptLLM: Optimal Assignment of Queries to Large Language Models

BenchShield: Formal Model-Backed Instrumentation for Reward Integrity in LLM-Agent Evaluation Infrastructure

Prompt-based Code Completion via Multi-Retrieval Augmented Generation

A Cartography of Open Collaboration in Open Source AI: Mapping Practices, Motivations, and Governance in 14 Open Large Language Model Projects

Iterative Refinement of Project-Level Code Context for Precise Code Generation with Compiler Feedback

PLC-Bin2Src: Retrieving Corresponding Structured Text Source Files for PLC Binaries

CATERPILLAR: A Business Process Execution Engine on the Ethereum Blockchain

DeepRepoQA: Code Repository Question Answering with Deep Agent Exploration

Repo2Skill-Evo: Repository Skills Go Stale in Silence

Stop Comparing LLM Agents Without Disclosing the Harness

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

STELLAR: A Search-Based Testing Framework for Large Language Model Applications

A ready-to-deploy MLOps software platform for satellite and NEO detection at meter-class ground-based observatories

BestConfig: Tapping the Performance Potential of Systems via Automatic Configuration Tuning

CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers?

SaaSBench: Exploring the Boundaries of Coding Agents in Long-Horizon Enterprise SaaS Engineering

Agent Lightning v1.0: Towards Harnessed Agentic RL

Cost-Efficient Theorem Proving via Agent Orchestration in Program Verification

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

ABC-Bench: Benchmarking Agentic Backend Coding in Real-World Development

When Agent Metrics Measure Different Things: An Evidence-Grounded Audit of the Praxa AI Pipeline

CRUST-Bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilation

Good Enough Practices in Scientific Computing

EffiBench: Benchmarking the Efficiency of Automatically Generated Code

RepoCoder: Repository-Level Code Completion Through Iterative Retrieval and Generation

CodeTD: Topology of Attention Detects Hallucinations in Code LLMs

SpecGen: Automated Generation of Formal Program Specifications via Large Language Models

AgentTether: Graph-Guided Diagnosis and Runtime Intervention for Reliable LLM Agent Operation

RefVerifier: Semi-Automated Reference Claim Verification for Scientific Manuscripts

Fill in the Blank: Context-aware Automated Text Input Generation for Mobile GUI Testing

Why We Refactor? Confessions of GitHub Contributors

MCP-Atlas: A Large-Scale Benchmark for Tool-Use Competency with Real MCP Servers

Cross-Stack Validation of Language-Model Training: A Clinical Fine-Tuning Case Study

Beyond Locks and Thread IDs: Static Data Race Detection Off The Beaten Path (Extended Version)

A2ABreak: Systematic Security Analysis of the A2A Protocol

R2E-Gym: Procedural Environments and Hybrid Verifiers for Scaling Open-Weights SWE Agents

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