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,861 to 1,920 of 2,816

Causality in Configurable Software Systems
Clemens Dubslaff, Kallistos Weis, Christel Baier +1
cs.SEcs.LOarXiv:2201.07280v22022
Demystifying the Vulnerability Propagation and Its Evolution via Dependency Trees in the NPM Ecosystem
Chengwei Liu, Sen Chen, Lingling Fan +3
cs.SEarXiv:2201.03981v22022
TestGRAD: Evolving Test Suites via Failure Pattern Momentum for SWE-Agent Ensemble
Pengfei He, Jiayuan Zhou, Shaowei Wang +1
cs.SEcs.AIarXiv:2610.10242v12026
DBcover: A White-box SQL Test Generation Framework for Coverage Improvement
Yankai Rong, Shuang Liu, Jinhao Dong +4
cs.DBcs.SEarXiv:2608.25573v12026
Post-Edit Re-Verification in Simulator-Backed Engineering Agents: A Controlled Comparison of Verification-Cadence Guidance
Qingchuan Zhu, Shuyue Tong, Pengju Ren
cs.SEcs.AIarXiv:2608.28147v12026
MoTCoder: Elevating Large Language Models with Modular of Thought for Challenging Programming Tasks
Jingyao Li, Pengguang Chen, Bin Xia +2
cs.LGcs.PLcs.SEarXiv:2312.15960v52023
Agent trajectories as programs: fingerprinting and programming coding-agent behavior
Hamidah Oderinwale
cs.SEcs.LGarXiv:2606.16988v12026
Fairness Invariants: A Relational Approach to Explaining and Mitigating Fairness Bugs
Ranit Debnath Akash, Ashish Kumar, Gang Tan +1
cs.SEcs.AIcs.LGarXiv:2608.26209v12026
Edge Impulse: An MLOps Platform for Tiny Machine Learning
Shawn Hymel, Colby Banbury, Daniel Situnayake +13
cs.DCcs.LGcs.SEarXiv:2212.03332v32022
AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms
Haoyu Zhao, Ziran Yang, Jiawei Li +6
cs.SEcs.AIcs.CLarXiv:2602.09464v22026
Revisiting Pre-trained Language Models for Vulnerability Detection
Youpeng Li, Weiliang Qi, Xuyu Wang +2
cs.CRcs.AIcs.LGarXiv:2507.16887v22025
AdaT$^2$: Adaptive Test Transformations for Black-Box Boundary Testing of Conversational Agents
Liting Lin, Boxi Yu, Qinghua Xu +3
cs.SEarXiv:2610.10141v12026
Neural Network Guided Evolutionary Fuzzing for Finding Traffic Violations of Autonomous Vehicles
Ziyuan Zhong, Gail Kaiser, Baishakhi Ray
cs.SEcs.LGcs.NEarXiv:2109.06126v42021
DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars
Yuchi Tian, Kexin Pei, Suman Jana +1
cs.SEcs.AIcs.LGarXiv:1708.08559v22017
The Impact of LLM-Assistants on Software Developer Productivity: A Systematic Review and Mapping Study
Amr Mohamed, Maram Assi, Mariam Guizani
cs.SEcs.AIcs.HCarXiv:2507.03156v32025
A Convolutional Attention Network for Extreme Summarization of Source Code
Miltiadis Allamanis, Hao Peng, Charles Sutton
cs.LGcs.CLcs.SEarXiv:1602.03001v22016
A Multi-Viewpoint Modeling Framework for Digital Twin Integration and Reuse with LLM-Assisted Compatibility Analysis
Nafiseh Soveizi, Milan Kopp, Parinaz Rashidi +4
cs.SEarXiv:2608.23115v12026
Computer-Using World Model
Yiming Guan, Rui Yu, John Zhang +15
cs.SEarXiv:2602.17365v12026
Better Call Grep: Evaluating and Improving Grep-Like Lexical Retrieval for Repository-Level Code Completion
Baoyi Wang, Xingliang Wang, Guochang Li +6
cs.SEarXiv:2601.23254v32026
Best Practices for Scientific Computing
Greg Wilson, D. A. Aruliah, C. Titus Brown +10
cs.MScs.SEarXiv:1210.0530v42012
CYBERFORT: A Compliance-Chain Platform Operationalising the Cyber Resilience Act for SMEs
Nikolaos Kekatos, Georgios Koutidis, Mihaela Curcă +8
cs.CRcs.CYcs.SEarXiv:2610.09918v12026
Harness Engineering: Anatomy, Architecture, and Evolution of Coding Agents -- A Source-Code Study of Eleven Systems
Paul Barbaste, Tristan Darrigol, Germain Vu +1
cs.SEcs.MAarXiv:2609.00006v12026
An Empirical Comparison of Dependency Network Evolution in Seven Software Packaging Ecosystems
Alexandre Decan, Tom Mens, Philippe Grosjean
cs.SEarXiv:1710.04936v12017
Systematic Literature Review of Validation Methods for AI Systems
Lalli Myllyaho, Mikko Raatikainen, Tomi Männistö +2
cs.SEarXiv:2107.12190v12021
When Safe Skills Collide: Measuring Compositional Risk in Agent Skill Ecosystems
Su Wang, Pin Qian, Yihang Chen +6
cs.SEcs.AIcs.CRarXiv:2606.00448v12026
Mubric: Mutation Testing-Guided Rubric Generation for LLM Evaluation
Jiayuxuan Yang, Jie M. Zhang, Yiling Lou +1
cs.AIcs.SEarXiv:2609.37322v12026
Learning to Mine Aligned Code and Natural Language Pairs from Stack Overflow
Pengcheng Yin, Bowen Deng, Edgar Chen +2
cs.CLcs.SEarXiv:1805.08949v12018
An Empirical Study on the Impact of Change Granularity in Refactoring Detection
Lei Chen, Shinpei Hayashi
cs.SEarXiv:2609.07482v12026
SoftwareGym: Scaling Computer-Use Agent Training with Diverse Synthesized Software Environments
Tian Jin, Wenhao Wang, Jing Kang +4
cs.MAcs.SEarXiv:2610.12611v12026
Hierarchical Security Monitoring for Edge-IoT: A Formal Methods Approach
Nikolaos Kekatos, Marinelio Chintri, Panagiotis Katsaros +4
cs.CRcs.LOcs.SEarXiv:2610.09817v12026
MEnvAgent: Scalable Polyglot Environment Construction for Verifiable Software Engineering
Chuanzhe Guo, Jingjing Wu, Sijun He +10
cs.SEcs.AIarXiv:2601.22859v32026
Identifying Flakiness in Quantum Programs
Lei Zhang, Mahsa Radnejad, Andriy Miranskyy
cs.SEarXiv:2302.03256v22023
RealSec-bench: A Benchmark for Evaluating Secure Code Generation in Real-World Repositories
Yanlin Wang, Ziyao Zhang, Chong Wang +5
cs.CRcs.SEarXiv:2601.22706v12026
Beyond FAIR: A Fitness Function Framework for Sustainable Research Software
Irdin Pekaric, Philipp Zech
cs.SEcs.CRarXiv:2610.09580v12026
Model Context Protocol (MCP) at First Glance: Studying the Security and Maintainability of MCP Servers
Mohammed Mehedi Hasan, Hao Li, Emad Fallahzadeh +3
cs.SEcs.ETarXiv:2506.13538v52025
On the Security Vulnerabilities of Text-to-SQL Models
Xutan Peng, Yipeng Zhang, Jingfeng Yang +1
cs.CLcs.CRcs.DBarXiv:2211.15363v42022
ExplainBench: Evaluating Code Explanations from Agents
Zhiyuan Pan, Sungmin Kang, Imam Nur Bani Yusuf +1
cs.SEarXiv:2607.26451v12026
Behavior Specification-Guided Program Synthesis for Binary Deobfuscation
Kangchen Zhu, Shangwen Wang, Zhiliang Tian +5
cs.SEarXiv:2608.20628v12026
Coding-Agent Benchmarks Should Match Their Users' Task Flows
Igor Slinko, Yaroslav Golubev, Sergey Titov
cs.LGcs.AIcs.CLarXiv:2610.09633v12026
LAURA: Enhancing Code Review Generation with Context-Enriched Retrieval-Augmented LLM
Yuxin Zhang, Yuxia Zhang, Zeyu Sun +2
cs.SEarXiv:2512.01356v22025
SWE-bench: Can Language Models Resolve Real-World GitHub Issues?
Carlos E. Jimenez, John Yang, Alexander Wettig +4
cs.CLcs.AIcs.SEarXiv:2310.06770v32023
Wink: Recovering from Misbehaviors in Coding Agents
Rahul Nanda, Chandra Maddila, Smriti Jha +3
cs.SEcs.AIcs.HCarXiv:2602.17037v22026
AgentGit: A Version Control Framework for Reliable and Scalable LLM-Powered Multi-Agent Systems
Yang Li, Siqi Ping, Xiyu Chen +4
cs.MAcs.AIcs.SEarXiv:2511.00628v12025
Cluster Workload Allocation: Semantic Soft Affinity Using Natural Language Processing
Leszek Sliwko, Jolanta Mizeria-Pietraszko
cs.AIcs.DCcs.LGarXiv:2601.09282v22026
Code Understanding is a Bottleneck for Coding Agents
Nishant Balepur, Kiran Tomlinson, Tobias Schnabel
cs.SEcs.AIcs.PLarXiv:2610.10610v12026
Validation of HRV Studio: A Transparent and Quality-Control-Aware Platform for Heart Rate Variability Analysis
Cyrus Mexon Evrard Djindot, Faliang Liu, Sylvain Laborde +6
physics.med-phcs.LGcs.SEarXiv:2608.24241v12026
OpenCodeInstruct: A Large-scale Instruction Tuning Dataset for Code LLMs
Wasi Uddin Ahmad, Aleksander Ficek, Mehrzad Samadi +4
cs.SEcs.CLarXiv:2504.04030v22025
LLM-Powered Fully Automated Chaos Engineering: Towards Enabling Anyone to Build Resilient Software Systems at Low Cost
Daisuke Kikuta, Hiroki Ikeuchi, Kengo Tajiri
cs.SEcs.AIcs.CLarXiv:2511.07865v12025
Deep Learning Anti-patterns from Code Metrics History
Antoine Barbez, Foutse Khomh, Yann-Gaël Guéhéneuc
cs.SEarXiv:1910.07658v12019
CodeClash: Benchmarking Goal-Oriented Software Engineering
John Yang, Kilian Lieret, Joyce Yang +6
cs.SEcs.AIarXiv:2511.00839v22025
LLaMoCo: Instruction Tuning of Large Language Models for Optimization Code Generation
Zeyuan Ma, Hongshu Guo, Jiacheng Chen +4
math.OCcs.AIcs.CLarXiv:2403.01131v22024
LLM Collaboration With Multi-Agent Reinforcement Learning
Shuo Liu, Tianle Chen, Zeyu Liang +2
cs.AIcs.SEarXiv:2508.04652v72025
A Survey on Data-driven Software Vulnerability Assessment and Prioritization
Triet H. M. Le, Huaming Chen, M. Ali Babar
cs.SEcs.AIcs.CRarXiv:2107.08364v42021
Online Sign Language Interpretation System
Christophe Ponsard, Jean-François Molderez
cs.CYcs.SEarXiv:2610.07872v12026
Tailoring Architecture Centric Design Method with Rapid Prototyping
Nitish M. Devadiga
cs.SEarXiv:1706.01602v12017
Lookahead-R: Budget-Aware Tool Retrieval via Execution-Centric Planning
Zongze Wu, Yani Guo, Runnan Li
cs.CLcs.AIcs.SEarXiv:2609.35811v12026
Bounded Loops: Pre-Run Spend Bounds, Proved Termination, and Verified Completion for Agent Harnesses
Varun Pratap Bhardwaj, Garima Singh, Arun Pratap Bhardwaj
cs.SEcs.AIarXiv:2609.27871v12026
CoderEval: A Benchmark of Pragmatic Code Generation with Generative Pre-trained Models
Hao Yu, Bo Shen, Dezhi Ran +7
cs.SEarXiv:2302.00288v32023
Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification
Zenan Li, Ziran Yang, Deyuan He +7
cs.SEcs.AIarXiv:2603.19329v32026
When Large Language Models Confront Repository-Level Automatic Program Repair: How Well They Done?
Yuxiao Chen, Jingzheng Wu, Xiang Ling +4
cs.SEarXiv:2403.00448v12024

Software Engineering

Causality in Configurable Software Systems

Demystifying the Vulnerability Propagation and Its Evolution via Dependency Trees in the NPM Ecosystem

TestGRAD: Evolving Test Suites via Failure Pattern Momentum for SWE-Agent Ensemble

DBcover: A White-box SQL Test Generation Framework for Coverage Improvement

Post-Edit Re-Verification in Simulator-Backed Engineering Agents: A Controlled Comparison of Verification-Cadence Guidance

MoTCoder: Elevating Large Language Models with Modular of Thought for Challenging Programming Tasks

Agent trajectories as programs: fingerprinting and programming coding-agent behavior

Fairness Invariants: A Relational Approach to Explaining and Mitigating Fairness Bugs

Edge Impulse: An MLOps Platform for Tiny Machine Learning

AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms

Revisiting Pre-trained Language Models for Vulnerability Detection

AdaT$^2$: Adaptive Test Transformations for Black-Box Boundary Testing of Conversational Agents

Neural Network Guided Evolutionary Fuzzing for Finding Traffic Violations of Autonomous Vehicles

DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars

The Impact of LLM-Assistants on Software Developer Productivity: A Systematic Review and Mapping Study

A Convolutional Attention Network for Extreme Summarization of Source Code

A Multi-Viewpoint Modeling Framework for Digital Twin Integration and Reuse with LLM-Assisted Compatibility Analysis

Computer-Using World Model

Better Call Grep: Evaluating and Improving Grep-Like Lexical Retrieval for Repository-Level Code Completion

Best Practices for Scientific Computing

CYBERFORT: A Compliance-Chain Platform Operationalising the Cyber Resilience Act for SMEs

Harness Engineering: Anatomy, Architecture, and Evolution of Coding Agents -- A Source-Code Study of Eleven Systems

An Empirical Comparison of Dependency Network Evolution in Seven Software Packaging Ecosystems

Systematic Literature Review of Validation Methods for AI Systems

When Safe Skills Collide: Measuring Compositional Risk in Agent Skill Ecosystems

Mubric: Mutation Testing-Guided Rubric Generation for LLM Evaluation

Learning to Mine Aligned Code and Natural Language Pairs from Stack Overflow

An Empirical Study on the Impact of Change Granularity in Refactoring Detection

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

Hierarchical Security Monitoring for Edge-IoT: A Formal Methods Approach

MEnvAgent: Scalable Polyglot Environment Construction for Verifiable Software Engineering

Identifying Flakiness in Quantum Programs

RealSec-bench: A Benchmark for Evaluating Secure Code Generation in Real-World Repositories

Beyond FAIR: A Fitness Function Framework for Sustainable Research Software

Model Context Protocol (MCP) at First Glance: Studying the Security and Maintainability of MCP Servers

On the Security Vulnerabilities of Text-to-SQL Models

ExplainBench: Evaluating Code Explanations from Agents

Behavior Specification-Guided Program Synthesis for Binary Deobfuscation

Coding-Agent Benchmarks Should Match Their Users' Task Flows

LAURA: Enhancing Code Review Generation with Context-Enriched Retrieval-Augmented LLM

SWE-bench: Can Language Models Resolve Real-World GitHub Issues?

Wink: Recovering from Misbehaviors in Coding Agents

AgentGit: A Version Control Framework for Reliable and Scalable LLM-Powered Multi-Agent Systems

Cluster Workload Allocation: Semantic Soft Affinity Using Natural Language Processing

Code Understanding is a Bottleneck for Coding Agents

Validation of HRV Studio: A Transparent and Quality-Control-Aware Platform for Heart Rate Variability Analysis

OpenCodeInstruct: A Large-scale Instruction Tuning Dataset for Code LLMs

LLM-Powered Fully Automated Chaos Engineering: Towards Enabling Anyone to Build Resilient Software Systems at Low Cost

Deep Learning Anti-patterns from Code Metrics History

CodeClash: Benchmarking Goal-Oriented Software Engineering

LLaMoCo: Instruction Tuning of Large Language Models for Optimization Code Generation

LLM Collaboration With Multi-Agent Reinforcement Learning

A Survey on Data-driven Software Vulnerability Assessment and Prioritization

Online Sign Language Interpretation System

Tailoring Architecture Centric Design Method with Rapid Prototyping

Lookahead-R: Budget-Aware Tool Retrieval via Execution-Centric Planning

Bounded Loops: Pre-Run Spend Bounds, Proved Termination, and Verified Completion for Agent Harnesses

CoderEval: A Benchmark of Pragmatic Code Generation with Generative Pre-trained Models

Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification

When Large Language Models Confront Repository-Level Automatic Program Repair: How Well They Done?