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,501 to 1,560 of 2,762

ASA: Backbone-Training-Free Representation Engineering for Tool-Calling Agents
Youjin Wang, Run Zhou, Yingjie Ma +6
cs.SEcs.AIarXiv:2602.04935v32026
A3Test: Assertion-Augmented Automated Test Case Generation
Saranya Alagarsamy, Chakkrit Tantithamthavorn, Aldeida Aleti
cs.SEarXiv:2302.10352v12023
Dissection of a Bug Dataset: Anatomy of 395 Patches from Defects4J
Victor Sobreira, Thomas Durieux, Fernanda Madeiral +2
cs.SEarXiv:1801.06393v32018
Chronos Enables Code Agents to Reason over Software Evolution
Xin Yin, Yiang Zhang, Zhiyuan Peng +3
cs.SEcs.CLarXiv:2610.11578v12026
Slither: A Static Analysis Framework For Smart Contracts
Josselin Feist, Gustavo Grieco, Alex Groce
cs.SEcs.CRarXiv:1908.09878v12019
An Empirical Evaluation of Using Large Language Models for Automated Unit Test Generation
Max Schäfer, Sarah Nadi, Aryaz Eghbali +1
cs.SEcs.AIarXiv:2302.06527v42023
CodeBERTScore: Evaluating Code Generation with Pretrained Models of Code
Shuyan Zhou, Uri Alon, Sumit Agarwal +1
cs.SEcs.LGcs.PLarXiv:2302.05527v22023
EnvPilot: Systematic Design and Evaluation of an Experience-Augmented Agent for Software Environment Setup
Hanwu Chen, Hanyu Lin, Zhanjiang Yang +6
cs.SEarXiv:2609.07357v12026
OpenHands: An Open Platform for AI Software Developers as Generalist Agents
Xingyao Wang, Boxuan Li, Yufan Song +21
cs.SEcs.AIcs.CLarXiv:2407.16741v32024
Thrilled by Your Progress! Large Language Models (GPT-4) No Longer Struggle to Pass Assessments in Higher Education Programming Courses
Jaromir Savelka, Arav Agarwal, Marshall An +2
cs.CYcs.AIcs.CLarXiv:2306.10073v12023
ATLAS: Discovering Agent Strategies through LLM-Guided Abstraction and Automata Learning
Ignacio D. Lopez-Miguel, Andreas Happe, Jürgen Cito +3
cs.SEcs.LGarXiv:2608.14352v12026
SequenceR: Sequence-to-Sequence Learning for End-to-End Program Repair
Zimin Chen, Steve Kommrusch, Michele Tufano +3
cs.SEcs.LGstat.MLarXiv:1901.01808v32018
Automatic Software Repair: a Bibliography
Martin Monperrus
cs.SEcs.CRcs.PLarXiv:1807.00515v12018
CodeBLEU: a Method for Automatic Evaluation of Code Synthesis
Shuo Ren, Daya Guo, Shuai Lu +7
cs.SEcs.CLarXiv:2009.10297v22020
Software Engineering for Fairness: A Case Study with Hyperparameter Optimization
Joymallya Chakraborty, Tianpei Xia, Fahmid M. Fahid +1
cs.SEcs.LGarXiv:1905.05786v22019
SEAlign: Alignment Training for Software Engineering Agent
Kechi Zhang, Huangzhao Zhang, Ge Li +4
cs.SEarXiv:2503.18455v12025
Detecting Inconsistencies in Model Specifications with LLM-as-Verifier Reasoning
Zichen Xie, Mrigank Pawagi, Lize Shao +2
cs.SEcs.AIcs.CLarXiv:2610.01847v12026
An Overview on Smart Contracts: Challenges, Advances and Platforms
Zibin Zheng, Shaoan Xie, Hong-Ning Dai +4
cs.SEcs.DCarXiv:1912.10370v12019
SpreadsheetBench: Towards Challenging Real World Spreadsheet Manipulation
Zeyao Ma, Bohan Zhang, Jing Zhang +6
cs.CLcs.SEarXiv:2406.14991v22024
Full-speed Fuzzing: Reducing Fuzzing Overhead through Coverage-guided Tracing
Stefan Nagy, Matthew Hicks
cs.CRcs.SEarXiv:1812.11875v22018
A Survey of Symbolic Execution Techniques
Roberto Baldoni, Emilio Coppa, Daniele Cono D'Elia +2
cs.SEcs.PLarXiv:1610.00502v32016
DevBench: A Realistic, Developer-Informed Benchmark for Code Generation Models
Adarsh Kumarappan, Pareesa Ameneh Golnari, Wen Wen +5
cs.LGcs.AIcs.SEarXiv:2601.11895v32026
Automatic Bug Triage using Semi-Supervised Text Classification
Jifeng Xuan, He Jiang, Zhilei Ren +2
cs.SEarXiv:1704.04769v12017
InferFix: End-to-End Program Repair with LLMs
Matthew Jin, Syed Shahriar, Michele Tufano +4
cs.SEarXiv:2303.07263v12023
ARJA: Automated Repair of Java Programs via Multi-Objective Genetic Programming
Yuan Yuan, Wolfgang Banzhaf
cs.SEarXiv:1712.07804v12017
Not All Correct Fixes Run Alike: An Empirical Study of Patch Performance in Repository-Level Issue Resolution
Han Peng, Xing Hu, Feifei Niu +2
cs.SEcs.CLarXiv:2610.13563v12026
Octopus: On-device language model for function calling of software APIs
Wei Chen, Zhiyuan Li, Mingyuan Ma
cs.CLcs.SEarXiv:2404.01549v22024
An Empirical Study on the Potential of LLMs in Automated Software Refactoring
Bo Liu, Yanjie Jiang, Yuxia Zhang +3
cs.SEarXiv:2411.04444v12024
How Should Diffusion Language Models Edit Code?
Xijia Tao, Ziru Liu, Shansan Gong +7
cs.SEcs.AIarXiv:2609.38257v12026
Unsafer in Many Turns: Benchmarking and Defending Multi-Turn Safety Risks in Tool-Using Agents
Xu Li, Simon Yu, Minzhou Pan +5
cs.CRcs.AIcs.CLarXiv:2602.13379v22026
CodeScore: Evaluating Code Generation by Learning Code Execution
Yihong Dong, Jiazheng Ding, Xue Jiang +3
cs.SEarXiv:2301.09043v42023
Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration
Helge Spieker, Arnaud Gotlieb, Dusica Marijan +1
cs.SEcs.AIcs.NEarXiv:1811.04122v12018
Large Language Model for Vulnerability Detection and Repair: Literature Review and the Road Ahead
Xin Zhou, Sicong Cao, Xiaobing Sun +1
cs.SEarXiv:2404.02525v32024
Improving Automatic Source Code Summarization via Deep Reinforcement Learning
Yao Wan, Zhou Zhao, Min Yang +4
cs.SEcs.CLcs.LGarXiv:1811.07234v12018
Many-Objective Software Remodularization using NSGA-III
Mohamed Wiem Mkaouer, Marouane Kessentini, Adnan Shaout +4
cs.SEcs.AIarXiv:2005.06510v12020
Mahotas: Open source software for scriptable computer vision
Luis Pedro Coelho
cs.CVcs.SEarXiv:1211.4907v22012
Predictive Test Selection
Mateusz Machalica, Alex Samylkin, Meredith Porth +1
cs.SEarXiv:1810.05286v22018
A Multi-Month Study of Git Commit Signing
Abubakar Sadiq Shittu, John Sadik, Scott Ruoti
cs.CRcs.SEarXiv:2608.29283v12026
Design Science Research Process: A Model for Producing and Presenting Information Systems Research
Ken Peffers, Tuure Tuunanen, Charles E Gengler +4
cs.SEarXiv:2006.02763v12020
Learning Spectral Representations of Code through Latent Graph Learning for Generalizable Cross-Language Code Clone Detection
Mohsen Hesamolhokama, Ali Sadeghi, Kousha Moeini +3
cs.SEarXiv:2608.22383v12026
Thinking Before Running! Efficient Code Generation with Thorough Exploration and Optimal Refinement
Xiaoqing Zhang, Yuhan Liu, Flood Sung +3
cs.SEcs.AIarXiv:2502.17442v22024
A Contract-Centered Architecture for Scalable and Manageable Agentic Runtimes
Yaxiao Liu, Pengbo Liu, Yiwen Liu +3
cs.AIcs.MAcs.SEarXiv:2608.27086v12026
SkillOpt-Lite: Better and Faster Agent Self-evolution via One Line of Vibe
Yifei Shen, Bo Li, Xinjie Zhang
cs.SEcs.AIcs.LGarXiv:2607.03451v12026
Synthesizing Proofs Using Proof Sharding and Exploration
Seyed Armin Vakil Ghahani, Manos Kapritsos
cs.PLcs.SEarXiv:2609.28535v12026
Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification
Cheng Wen, Jialun Cao, Jie Su +6
cs.SEarXiv:2404.00762v22024
A Mixed-Method Empirical Study of LLM Assistance in Software Engineering Workflows
Pamali D. Weerasinghe, Roshan N. Rajapakse, Isuru Dharmadasa +1
cs.SEarXiv:2609.04214v12026
AgentLogs: A Dataset for Opening the Black Box of GitHub's Cloud Agent
Jonan Richards, Kosei Horikawa, Youmei Fan +2
cs.SEcs.AIarXiv:2608.29204v12026
Harnessing Evolution for Multi-Hunk Program Repair
Seemanta Saha, Ripon K. Saha, Mukul R. Prasad
cs.SEarXiv:1906.08903v12019
Follow Me at the Edge: Mobility-Aware Dynamic Service Placement for Mobile Edge Computing
Tao Ouyang, Zhi Zhou, Xu Chen
cs.NIcs.AIcs.DCarXiv:1809.05239v12018
HarnessDev: Can LLMs Create and Evolve Their Own Agent Harness?
Yuhao Wu, Jingyuan Zhang, Jiajun Shi +16
cs.SEcs.CLarXiv:2609.01437v12026
Large Language Models for Code Analysis: Do LLMs Really Do Their Job?
Chongzhou Fang, Ning Miao, Shaurya Srivastav +8
cs.SEcs.CRarXiv:2310.12357v22023
SWE-Together: Evaluating Coding Agents in Interactive User Sessions
Yifan Wu, Zhuokai Zhao, Songlin Li +8
cs.SEcs.AIarXiv:2606.29957v12026
SWE-Master: Unleashing the Potential of Software Engineering Agents via Post-Training
Huatong Song, Lisheng Huang, Shuang Sun +11
cs.SEcs.CLarXiv:2602.03411v22026
Deep API Learning
Xiaodong Gu, Hongyu Zhang, Dongmei Zhang +1
cs.SEcs.CLcs.LGarXiv:1605.08535v32016
Understanding and Detecting Flaky Builds in GitHub Actions
Wenhao Ge, Chen Zhang
cs.SEarXiv:2602.02307v12026
Is "Better Data" Better than "Better Data Miners"? (On the Benefits of Tuning SMOTE for Defect Prediction)
Amritanshu Agrawal, Tim Menzies
cs.SEarXiv:1705.03697v32017
ProofWright: Towards Agentic Formal Verification of CUDA
Bodhisatwa Chatterjee, Drew Zagieboylo, Sana Damani +2
cs.SEarXiv:2511.12294v22025
CoderUJB: An Executable and Unified Java Benchmark for Practical Programming Scenarios
Zhengran Zeng, Yidong Wang, Rui Xie +2
cs.SEarXiv:2403.19287v12024
Learning from the Test: Self-Referential Differential Testing for Deep RL Agents
Junda He, Jieke Shi, Zhou Yang +2
cs.SEcs.AIcs.LGarXiv:2608.22284v12026
Generalization or Memorization: Data Contamination and Trustworthy Evaluation for Large Language Models
Yihong Dong, Xue Jiang, Huanyu Liu +4
cs.CLcs.AIcs.CRarXiv:2402.15938v32024

Software Engineering

ASA: Backbone-Training-Free Representation Engineering for Tool-Calling Agents

A3Test: Assertion-Augmented Automated Test Case Generation

Dissection of a Bug Dataset: Anatomy of 395 Patches from Defects4J

Chronos Enables Code Agents to Reason over Software Evolution

Slither: A Static Analysis Framework For Smart Contracts

An Empirical Evaluation of Using Large Language Models for Automated Unit Test Generation

CodeBERTScore: Evaluating Code Generation with Pretrained Models of Code

EnvPilot: Systematic Design and Evaluation of an Experience-Augmented Agent for Software Environment Setup

OpenHands: An Open Platform for AI Software Developers as Generalist Agents

Thrilled by Your Progress! Large Language Models (GPT-4) No Longer Struggle to Pass Assessments in Higher Education Programming Courses

ATLAS: Discovering Agent Strategies through LLM-Guided Abstraction and Automata Learning

SequenceR: Sequence-to-Sequence Learning for End-to-End Program Repair

Automatic Software Repair: a Bibliography

CodeBLEU: a Method for Automatic Evaluation of Code Synthesis

Software Engineering for Fairness: A Case Study with Hyperparameter Optimization

SEAlign: Alignment Training for Software Engineering Agent

Detecting Inconsistencies in Model Specifications with LLM-as-Verifier Reasoning

An Overview on Smart Contracts: Challenges, Advances and Platforms

SpreadsheetBench: Towards Challenging Real World Spreadsheet Manipulation

Full-speed Fuzzing: Reducing Fuzzing Overhead through Coverage-guided Tracing

A Survey of Symbolic Execution Techniques

DevBench: A Realistic, Developer-Informed Benchmark for Code Generation Models

Automatic Bug Triage using Semi-Supervised Text Classification

InferFix: End-to-End Program Repair with LLMs

ARJA: Automated Repair of Java Programs via Multi-Objective Genetic Programming

Not All Correct Fixes Run Alike: An Empirical Study of Patch Performance in Repository-Level Issue Resolution

Octopus: On-device language model for function calling of software APIs

An Empirical Study on the Potential of LLMs in Automated Software Refactoring

How Should Diffusion Language Models Edit Code?

Unsafer in Many Turns: Benchmarking and Defending Multi-Turn Safety Risks in Tool-Using Agents

CodeScore: Evaluating Code Generation by Learning Code Execution

Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration

Large Language Model for Vulnerability Detection and Repair: Literature Review and the Road Ahead

Improving Automatic Source Code Summarization via Deep Reinforcement Learning

Many-Objective Software Remodularization using NSGA-III

Mahotas: Open source software for scriptable computer vision

Predictive Test Selection

A Multi-Month Study of Git Commit Signing

Design Science Research Process: A Model for Producing and Presenting Information Systems Research

Learning Spectral Representations of Code through Latent Graph Learning for Generalizable Cross-Language Code Clone Detection

Thinking Before Running! Efficient Code Generation with Thorough Exploration and Optimal Refinement

A Contract-Centered Architecture for Scalable and Manageable Agentic Runtimes

SkillOpt-Lite: Better and Faster Agent Self-evolution via One Line of Vibe

Synthesizing Proofs Using Proof Sharding and Exploration

Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification

A Mixed-Method Empirical Study of LLM Assistance in Software Engineering Workflows

AgentLogs: A Dataset for Opening the Black Box of GitHub's Cloud Agent

Harnessing Evolution for Multi-Hunk Program Repair

Follow Me at the Edge: Mobility-Aware Dynamic Service Placement for Mobile Edge Computing

HarnessDev: Can LLMs Create and Evolve Their Own Agent Harness?

Large Language Models for Code Analysis: Do LLMs Really Do Their Job?

SWE-Together: Evaluating Coding Agents in Interactive User Sessions

SWE-Master: Unleashing the Potential of Software Engineering Agents via Post-Training

Deep API Learning

Understanding and Detecting Flaky Builds in GitHub Actions

Is "Better Data" Better than "Better Data Miners"? (On the Benefits of Tuning SMOTE for Defect Prediction)

ProofWright: Towards Agentic Formal Verification of CUDA

CoderUJB: An Executable and Unified Java Benchmark for Practical Programming Scenarios

Learning from the Test: Self-Referential Differential Testing for Deep RL Agents

Generalization or Memorization: Data Contamination and Trustworthy Evaluation for Large Language Models