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,801 to 1,860 of 2,816

Code2LoRA: Hypernetwork-Generated Adapters for Code Language Models under Software Evolution
Liliana Hotsko, Yinxi Li, Yuntian Deng +1
cs.SEcs.AIcs.CLarXiv:2606.06492v12026
Challenges and solutions when adopting DevSecOps: A systematic review
Roshan N. Rajapakse, Mansooreh Zahedi, M. Ali Babar +1
cs.SEarXiv:2103.08266v22021
SafeGround: Know When to Trust GUI Grounding Models via Uncertainty Calibration
Qingni Wang, Yue Fan, Xin Eric Wang
cs.AIcs.SEarXiv:2602.02419v22026
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components
Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia
eess.SYcs.LGcs.SEarXiv:1703.00978v32017
Decentralised LTL Monitoring
Andreas Bauer, Yliès Falcone
cs.SEarXiv:1111.5133v32011
On the Reliability of LLM-Based Vulnerability Patching Benchmarks
Dang K Le, Wenxuan Shi, Xinyu Xing
cs.CRcs.SEarXiv:2610.10150v12026
Teaching Code LLMs to Use Autocompletion Tools in Repository-Level Code Generation
Chong Wang, Jian Zhang, Yebo Feng +4
cs.SEarXiv:2401.06391v32024
Better Understanding, Better Fixes? A Study of Hallucination in LLM-based Automated Program Repair
Xuemeng Cai, Jiakun Liu, Linhan Yang +2
cs.SEcs.AIarXiv:2609.04909v12026
Regret Dominates Surprise: Design-Time Requirements Engineering for Agentic-AI Safety
Nuwayyir Almohammadi, Rami Bahsoon, Tao Chen
cs.SEarXiv:2609.05692v12026
Who Maintains Agent Skills? A Longitudinal Study of Human-Governed, AI-Assisted Skill Maintenance
Chen Shen, Estevam Hruschka
cs.CLcs.AIcs.HCarXiv:2609.05677v12026
On the Reliability and Explainability of Language Models for Program Generation
Yue Liu, Chakkrit Tantithamthavorn, Yonghui Liu +1
cs.SEarXiv:2302.09587v32023
JTA: Joint Testability Architecture for Scenario-Based Validation of Safety-Critical Software
Wenyao Xue, Jiandi Wang, Yichen Wang
cs.SEcs.ROarXiv:2608.05594v12026
Summaries:简体中文
Look Before You Prompt, and After: Scaffolding Human-AI Collaboration in Software Tutorial Creation
Avinash Bhat, Vy Bui, Jin L. C. Guo
cs.SEcs.HCarXiv:2609.05563v12026
Matching Matters: A Fair Quality-Efficiency Benchmark for Command-Line Agents
Han Chi, Jiaxin Qi, Yan Cui +2
cs.SEcs.AIarXiv:2606.21140v22026
Aletheia: Permission-Minimality Testing for Coding-Agent Rules
Jieke Shi, Yuchen Chen, Junda He +2
cs.CRcs.SEarXiv:2609.39678v12026
Memory as Infrastructure: Reliability Engineering for Persistent Agent Memory in Months-Long LLM-Assisted Development
Mike Helwig
cs.SEarXiv:2609.05510v12026
Self-Edit: Fault-Aware Code Editor for Code Generation
Kechi Zhang, Zhuo Li, Jia Li +2
cs.SEcs.CLarXiv:2305.04087v52023
A Syntactic Neural Model for General-Purpose Code Generation
Pengcheng Yin, Graham Neubig
cs.CLcs.PLcs.SEarXiv:1704.01696v12017
Structured Neural Summarization
Patrick Fernandes, Miltiadis Allamanis, Marc Brockschmidt
cs.LGcs.CLcs.SEarXiv:1811.01824v42018
Comprehension Audits to Mitigate Risks from Automated AI Research
Ronald J. Bodkin, Bahrad A. Sokhansanj, Gillian K. Hadfield
cs.CYcs.AIcs.SEarXiv:2610.10064v12026
AICD Bench: A Challenging Benchmark for AI-Generated Code Detection
Daniil Orel, Dilshod Azizov, Indraneil Paul +3
cs.LGcs.SEarXiv:2602.02079v12026
Large Language Models Meet NL2Code: A Survey
Daoguang Zan, Bei Chen, Fengji Zhang +5
cs.SEcs.AIcs.CLarXiv:2212.09420v22022
BigCodeArena: Unveiling More Reliable Human Preferences in Code Generation via Execution
Terry Yue Zhuo, Xiaolong Jin, Hange Liu +37
cs.SEcs.AIcs.CLarXiv:2510.08697v22025
CodePAD: Sequence-based Code Generation with Pushdown Automaton
Yihong Dong, Xue Jiang, Yuchen Liu +2
cs.SEcs.AIarXiv:2211.00818v42022
EngramBench: A Capability-Grounded Benchmark for Skill-Evolution Harnesses
Zhixuan Tan, Pengjie Gu, Zhao Li +4
cs.SEcs.AIarXiv:2609.39284v12026
A Comprehensive Survey on Fog Computing: State-of-the-art and Research Challenges
Carla Mouradian, Diala Naboulsi, Sami Yangui +3
cs.DCcs.SEarXiv:1710.11001v32017
VeriGuard: Enhancing LLM Agent Safety via Verified Code Generation
Lesly Miculicich, Mihir Parmar, Hamid Palangi +4
cs.SEcs.AIcs.CRarXiv:2510.05156v12025
Quantisation of Abstract Data Types
Mingsheng Ying, Zhicheng Zhang, Kean Chen
quant-phcs.PLcs.SEarXiv:2609.03778v12026
Antipatterns in AI-assisted Qualitative Data Analysis: A Catalog of Temptations and Pitfalls for Software Engineering Researchers
Rashina Hoda, Carolyn Seaman, Victoria Gomes +1
cs.SEcs.AIarXiv:2608.27927v12026
Model-Based Retargeting to Many-Core CPS: Simulink-to-OpenCL Workflow
Ryuga Chiba, Hiroshi Fujimoto, Takuya Azumi
cs.SEarXiv:2609.29311v12026
Cross-Benchmark Transfer from RL on Agentic Coding Tasks
Sushant Mehta, Logan Ritchie, Edwin Chen
cs.LGcs.AIcs.SEarXiv:2610.00890v12026
How Effective Are Neural Networks for Fixing Security Vulnerabilities
Yi Wu, Nan Jiang, Hung Viet Pham +5
cs.SEcs.AIcs.CRarXiv:2305.18607v22023
Vulnerability Detection with Fine-grained Interpretations
Yi Li, Shaohua Wang, Tien N. Nguyen
cs.CRcs.SEarXiv:2106.10478v12021
Refusing the Impossible: A Taxonomy and Benchmark for Code Hallucination in Large Language Models
Vishnu Asutosh Dasu, Ashish Kundu, Gang Tan
cs.SEarXiv:2609.03267v12026
Criticality Metrics for Automated Driving: A Review and Suitability Analysis of the State of the Art
Lukas Westhofen, Christian Neurohr, Tjark Koopmann +6
cs.ROcs.SEarXiv:2108.02403v22021
From Natural Language Policies to Executable Obligations: A Verification Harness for Dependable In-Car LLM Agents
Radouane Bouchekir, Damir Safin, Tomas Bueno Momcilovic
cs.SEarXiv:2608.23282v12026
Toward Quantum Software Automation: A Quantum-Aware Harness for LLM-Guided Evolution
Lily Jiaxin Wan, Deming Chen, Klara Nahrstedt +1
cs.SEarXiv:2609.38883v12026
Prompting Large Language Models to Tackle the Full Software Development Lifecycle: A Case Study
Bowen Li, Wenhan Wu, Ziwei Tang +13
cs.CLcs.SEarXiv:2403.08604v32024
Requirements After the First Edit: Mining Late Requirement Emergence and Rework in Real-World Coding-Agent Sessions
Bowen Jiang, Haowei Cheng, Yuhong Fu +3
cs.SEarXiv:2609.03028v12026
Log-based Anomaly Detection Without Log Parsing
Van-Hoang Le, Hongyu Zhang
cs.SEcs.AIarXiv:2108.01955v32021
A Systematic Literature Review on the Use of Deep Learning in Software Engineering Research
Cody Watson, Nathan Cooper, David Nader Palacio +2
cs.SEcs.AIcs.LGarXiv:2009.06520v22020
Boundary-Mutation Testing for Pattern-Based Secret Detection: A Rule-Level Method and Cross-Scanner Evaluation
Shweta Mishra
cs.CRcs.SEarXiv:2609.02983v12026
PatchHolmes: Agentic Patch Retrieval via Listwise Selection
Guanqun Yang, Yingming Zhou, Jiangrui Zheng +2
cs.IRcs.SEarXiv:2609.38807v12026
On Testing Machine Learning Programs
Houssem Ben Braiek, Foutse Khomh
cs.SEarXiv:1812.02257v12018
Summaries:한국어
Sema Code: Decoupling AI Coding Agents into Programmable, Embeddable Infrastructure
Huacan Wang, Jie Zhou, Ningyan Zhu +8
cs.SEarXiv:2604.11045v12026
Software Engineering Meets Deep Learning: A Mapping Study
Fabio Ferreira, Luciana Lourdes Silva, Marco Tulio Valente
cs.SEcs.LGarXiv:1909.11436v32019
Applying Anthropic Primitives at Large Enterprises: Harness Paradigm for Knowledge Work
George Juraj Salapa
cs.AIcs.SEarXiv:2608.20622v12026
REPOT: Recoverable Program-of-Thought via Checkpoint Repair
Parsa Mazaheri
cs.SEcs.AIcs.CLarXiv:2605.30052v12026
Generating Accurate Assert Statements for Unit Test Cases using Pretrained Transformers
Michele Tufano, Dawn Drain, Alexey Svyatkovskiy +1
cs.SEcs.LGarXiv:2009.05634v12020
Don't Let the Model Write the YAML: Deterministic, Minimal-Diff GitOps Remediation from LLM-Proposed Field Changes
Pruthvi Davineni
cs.SEcs.AIcs.DCarXiv:2609.00227v12026
CEO-Bench: Can Agents Play the Long Game?
Haozhe Chen, Karthik Narasimhan, Zhuang Liu
cs.AIcs.CLcs.SEarXiv:2606.18543v22026
Architecture as Capability Equalizer for Coding Agents
Arquimedes Canedo
cs.SEcs.AIcs.CLarXiv:2608.21747v12026
ToolFailBench: Diagnosing Tool-Use Failures in LLM Agents
Harsh Soni
cs.CLcs.AIcs.SEarXiv:2607.04686v12026
Classification of Natural Language Processing Techniques for Requirements Engineering
Liping Zhao, Waad Alhoshan, Alessio Ferrari +1
cs.CLcs.SEarXiv:2204.04282v12022
The Impact of AI on Developer Productivity: Evidence from GitHub Copilot
Sida Peng, Eirini Kalliamvakou, Peter Cihon +1
cs.SEarXiv:2302.06590v12023
What Do They Capture? -- A Structural Analysis of Pre-Trained Language Models for Source Code
Yao Wan, Wei Zhao, Hongyu Zhang +3
cs.SEcs.AIarXiv:2202.06840v12022
CodeFill: Multi-token Code Completion by Jointly Learning from Structure and Naming Sequences
Maliheh Izadi, Roberta Gismondi, Georgios Gousios
cs.SEcs.LGarXiv:2202.06689v12022
Agent-Driven Verification of Memory Safety for liblzma Decoder Components with VST
Prokhor Shlyakhtun, Alexander Gryzlov, Vladimir Kukharenko +5
cs.SEarXiv:2608.29716v12026
TraceSafe: A Systematic Assessment of LLM Guardrails on Multi-Step Tool-Calling Trajectories
Yen-Shan Chen, Sian-Yao Huang, Cheng-Lin Yang +1
cs.CRcs.AIcs.CLarXiv:2604.07223v22026
A Novel Approach for Estimating Truck Factors
Guilherme Avelino, Leonardo Passos, Andre Hora +1
cs.SEarXiv:1604.06766v12016

Software Engineering

Code2LoRA: Hypernetwork-Generated Adapters for Code Language Models under Software Evolution

Challenges and solutions when adopting DevSecOps: A systematic review

SafeGround: Know When to Trust GUI Grounding Models via Uncertainty Calibration

Compositional Falsification of Cyber-Physical Systems with Machine Learning Components

Decentralised LTL Monitoring

On the Reliability of LLM-Based Vulnerability Patching Benchmarks

Teaching Code LLMs to Use Autocompletion Tools in Repository-Level Code Generation

Better Understanding, Better Fixes? A Study of Hallucination in LLM-based Automated Program Repair

Regret Dominates Surprise: Design-Time Requirements Engineering for Agentic-AI Safety

Who Maintains Agent Skills? A Longitudinal Study of Human-Governed, AI-Assisted Skill Maintenance

On the Reliability and Explainability of Language Models for Program Generation

JTA: Joint Testability Architecture for Scenario-Based Validation of Safety-Critical Software

Look Before You Prompt, and After: Scaffolding Human-AI Collaboration in Software Tutorial Creation

Matching Matters: A Fair Quality-Efficiency Benchmark for Command-Line Agents

Aletheia: Permission-Minimality Testing for Coding-Agent Rules

Memory as Infrastructure: Reliability Engineering for Persistent Agent Memory in Months-Long LLM-Assisted Development

Self-Edit: Fault-Aware Code Editor for Code Generation

A Syntactic Neural Model for General-Purpose Code Generation

Structured Neural Summarization

Comprehension Audits to Mitigate Risks from Automated AI Research

AICD Bench: A Challenging Benchmark for AI-Generated Code Detection

Large Language Models Meet NL2Code: A Survey

BigCodeArena: Unveiling More Reliable Human Preferences in Code Generation via Execution

CodePAD: Sequence-based Code Generation with Pushdown Automaton

EngramBench: A Capability-Grounded Benchmark for Skill-Evolution Harnesses

A Comprehensive Survey on Fog Computing: State-of-the-art and Research Challenges

VeriGuard: Enhancing LLM Agent Safety via Verified Code Generation

Quantisation of Abstract Data Types

Antipatterns in AI-assisted Qualitative Data Analysis: A Catalog of Temptations and Pitfalls for Software Engineering Researchers

Model-Based Retargeting to Many-Core CPS: Simulink-to-OpenCL Workflow

Cross-Benchmark Transfer from RL on Agentic Coding Tasks

How Effective Are Neural Networks for Fixing Security Vulnerabilities

Vulnerability Detection with Fine-grained Interpretations

Refusing the Impossible: A Taxonomy and Benchmark for Code Hallucination in Large Language Models

Criticality Metrics for Automated Driving: A Review and Suitability Analysis of the State of the Art

From Natural Language Policies to Executable Obligations: A Verification Harness for Dependable In-Car LLM Agents

Toward Quantum Software Automation: A Quantum-Aware Harness for LLM-Guided Evolution

Prompting Large Language Models to Tackle the Full Software Development Lifecycle: A Case Study

Requirements After the First Edit: Mining Late Requirement Emergence and Rework in Real-World Coding-Agent Sessions

Log-based Anomaly Detection Without Log Parsing

A Systematic Literature Review on the Use of Deep Learning in Software Engineering Research

Boundary-Mutation Testing for Pattern-Based Secret Detection: A Rule-Level Method and Cross-Scanner Evaluation

PatchHolmes: Agentic Patch Retrieval via Listwise Selection

On Testing Machine Learning Programs

Sema Code: Decoupling AI Coding Agents into Programmable, Embeddable Infrastructure

Software Engineering Meets Deep Learning: A Mapping Study

Applying Anthropic Primitives at Large Enterprises: Harness Paradigm for Knowledge Work

REPOT: Recoverable Program-of-Thought via Checkpoint Repair

Generating Accurate Assert Statements for Unit Test Cases using Pretrained Transformers

Don't Let the Model Write the YAML: Deterministic, Minimal-Diff GitOps Remediation from LLM-Proposed Field Changes

CEO-Bench: Can Agents Play the Long Game?

Architecture as Capability Equalizer for Coding Agents

ToolFailBench: Diagnosing Tool-Use Failures in LLM Agents

Classification of Natural Language Processing Techniques for Requirements Engineering

The Impact of AI on Developer Productivity: Evidence from GitHub Copilot

What Do They Capture? -- A Structural Analysis of Pre-Trained Language Models for Source Code

CodeFill: Multi-token Code Completion by Jointly Learning from Structure and Naming Sequences

Agent-Driven Verification of Memory Safety for liblzma Decoder Components with VST

TraceSafe: A Systematic Assessment of LLM Guardrails on Multi-Step Tool-Calling Trajectories

A Novel Approach for Estimating Truck Factors