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)

661 to 720 of 1,389

ExecRetrieval: Measuring the Functional-Correctness Gap in Code-Embedding Retrieval
Aaryan Kapoor, Md Abdullah Al Hafiz Khan
cs.SEcs.CLcs.IRarXiv:2609.01865v12026
HarnessDev: Can LLMs Create and Evolve Their Own Agent Harness?
Yuhao Wu, Jingyuan Zhang, Jiajun Shi +16
cs.SEcs.CLarXiv:2609.01437v12026
PaperCompiler: Faithful Paper-to-Code Generation via Repository-Level Specification Compilation
Yunhao Liu, Hong Phuc Pham, Jaehong Yoon
cs.CLcs.AIcs.SEarXiv:2609.02272v12026
Post-Training Language Models for Gold-Medal Performance in Coding Competitions
Aleksander Ficek, Sean Narenthiran, Mehrzad Samadi +2
cs.LGcs.AIcs.CLarXiv:2609.02849v12026
A Comprehensive Study of Native Code Bugs in Python Applications
Haoran Yang, Haipeng Cai
cs.SEcs.CRarXiv:2608.29851v12026
Sampling Projects in GitHub for MSR Studies
Ozren Dabic, Emad Aghajani, Gabriele Bavota
cs.SEarXiv:2103.04682v12021
Why Modern Open Source Projects Fail
Jailton Coelho, Marco Tulio Valente
cs.SEcs.CYarXiv:1707.02327v12017
NL2Bash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating System
Xi Victoria Lin, Chenglong Wang, Luke Zettlemoyer +1
cs.CLcs.SEarXiv:1802.08979v22018
Comparing Code Explanations Created by Students and Large Language Models
Juho Leinonen, Paul Denny, Stephen MacNeil +5
cs.CYcs.AIcs.CLarXiv:2304.03938v12023
Tuning for Software Analytics: is it Really Necessary?
Wei Fu, Tim Menzies, Xipeng Shen
cs.SEarXiv:1609.01759v12016
ProofPulse: Interactive Proof Coverage Analysis for Dafny
Álvaro F. Silva, Ruben Martins, Alexandra Mendes
cs.SEarXiv:2608.30818v12026
Large Language Models for Test-Free Fault Localization
Aidan Z. H. Yang, Ruben Martins, Claire Le Goues +1
cs.SEcs.LGarXiv:2310.01726v12023
ReACC: A Retrieval-Augmented Code Completion Framework
Shuai Lu, Nan Duan, Hojae Han +3
cs.SEcs.AIcs.CLarXiv:2203.07722v12022
No More Manual Tests? Evaluating and Improving ChatGPT for Unit Test Generation
Zhiqiang Yuan, Yiling Lou, Mingwei Liu +4
cs.SEarXiv:2305.04207v32023
A Phased Workflow for Operating LLM-Based Coding Agents
Ante Kapetanovic, Tomislav Duricic, Andro Mercep +1
cs.SEarXiv:2608.30701v12026
MetaTool Benchmark for Large Language Models: Deciding Whether to Use Tools and Which to Use
Yue Huang, Jiawen Shi, Yuan Li +8
cs.SEcs.CLarXiv:2310.03128v62023
DSEffi-Bench: Demystifying Large Language Models' Capability in Efficient Data Science Code Generation
Zhihao Gong, Junzhe Yu, Dong Huang +3
cs.SEarXiv:2608.30248v12026
Open-Source Autonomous Driving System Analysis and Multi-Disciplinary Hardware-in-the-Loop Research Paradigm with Reinforcement-Learning Testing and Large Language Models
Dianjing Cheng, Yike Li, Lan Yang +23
cs.SEcs.ROarXiv:2608.30179v12026
Beyond Functional Correctness: Exploring Hallucinations in LLM-Generated Code
Fang Liu, Yang Liu, Lin Shi +5
cs.SEcs.AIarXiv:2404.00971v32024
Update from Hell: Can Coding Agents Survive Hidden Breakage in Dependency Upgrades?
Zijian Luo, Runzhi He, Pengfei Gao +6
cs.SEarXiv:2608.30300v12026
LLM-based Hardware Development with Hierarchical IRs and End-to-End Multi-Agent Workflow
Chenyang Yin, Agasthi Haputhanthri, Aditya Anirudh Jonnalagadda +7
cs.ARcs.MAcs.SEarXiv:2608.30659v12026
Reading Between the Lines: Modeling User Behavior and Costs in AI-Assisted Programming
Hussein Mozannar, Gagan Bansal, Adam Fourney +1
cs.SEcs.HCcs.LGarXiv:2210.14306v52022
The Exclusion Ratchet: False-Positive Suppression Accumulates and Persists in Detection Rule Repositories
Sudaroli Dhananjeyan, Kumaran U
cs.CRcs.SEarXiv:2608.31062v12026
Automated Unit Test Improvement using Large Language Models at Meta
Nadia Alshahwan, Jubin Chheda, Anastasia Finegenova +6
cs.SEarXiv:2402.09171v12024
Bridge: Automatically Mining Ecosystem-Scale API Update Mappings and Client Update Instances
Kai Gao, Yu Sun, Chang-ai Sun
cs.SEarXiv:2608.30497v12026
ChatGPT and Software Testing Education: Promises & Perils
Sajed Jalil, Suzzana Rafi, Thomas D. LaToza +2
cs.SEcs.HCarXiv:2302.03287v32023
Practical Implementation Report on Introducing Spec-Driven Development Using AI Agents in Software Development PBL
Hidetake Tanaka, Hiroshi Igaki, Kazumasa Shimari +2
cs.SEarXiv:2608.30572v12026
Federated Trust for Embodied Robot Capability Marketplaces
Xue Qin, Simin Luan, Cong Yang +1
cs.CRcs.ROcs.SEarXiv:2609.00404v12026
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
Harvey: A Greybox Fuzzer for Smart Contracts
Valentin Wüstholz, Maria Christakis
cs.SEcs.CRarXiv:1905.06944v12019
Audit-First Rollback Semantics for Safety-Critical Deployment Pipelines
Xue Qin, Simin Luan, Cong Yang +1
cs.SEcs.DCarXiv:2609.00406v12026
Bounded, Indeterminate, or a Bug: A Condition-Aware Oracle for Differential Testing of SQL Aggregates
Madhulatha Mandarapu, Sandeep Kunkunuru
cs.DBcs.SEarXiv:2609.00381v12026
AI with Authority, from Application to Silicon
Jason Hickey
cs.SEcs.AIcs.ARarXiv:2608.21356v22026
Summaries:简体中文
Structured Neural Summarization
Patrick Fernandes, Miltiadis Allamanis, Marc Brockschmidt
cs.LGcs.CLcs.SEarXiv:1811.01824v42018
Good Enough Practices in Scientific Computing
Greg Wilson, Jennifer Bryan, Karen Cranston +3
cs.SEarXiv:1609.00037v22016
How Effective are Smart Contract Analysis Tools? Evaluating Smart Contract Static Analysis Tools Using Bug Injection
Asem Ghaleb, Karthik Pattabiraman
cs.SEarXiv:2005.11613v12020
Database-Augmented RAG for Automated Repair of REST API Misuses
Shoei Inoue, Norihiro Yoshida, Erina Makihara +2
cs.IRcs.SEarXiv:2608.29290v12026
Towards Fully Automated Medical Imaging Code Generation via Validation-based Context Engineering
Zixiao Zhao, Jing Sun, Zhe Hou +5
cs.CVcs.SEarXiv:2608.29016v12026
Emergent Behavior and Uncertainty in IoT-Enhanced Business Processes: Challenges and Future Directions
Marco Pegoraro, Sara Pettinari, Ivan Compagnucci +2
cs.ETcs.SEarXiv:2608.28919v12026
Elixir: Effective object-oriented program repair
Ripon K. Saha, Yingjun Lyu, Hiroaki Yoshida +1
cs.SEarXiv:2112.10915v12021
DocPrompting: Generating Code by Retrieving the Docs
Shuyan Zhou, Uri Alon, Frank F. Xu +3
cs.CLcs.AIcs.SEarXiv:2207.05987v32022
LLM Post-Training as Brownfield Maintenance: An Industrial Perspective on Dataware Engineering
Gopi Krishnan Rajbahadur, Amir M. Ebrahimi, Boyuan Chen +1
cs.SEcs.AIcs.LGarXiv:2608.31102v12026
Natural Attack for Pre-trained Models of Code
Zhou Yang, Jieke Shi, Junda He +1
cs.SEarXiv:2201.08698v22022
MontiCore: a Framework for Compositional Development of Domain Specific Languages
Holger Krahn, Bernhard Rumpe, Stefan Völkel
cs.SEarXiv:1409.2367v12014
Extensible Component Based Architecture for FLASH, A Massively Parallel, Multiphysics Simulation Code
A. Dubey, L. B. Reid, K. Weide +5
cs.SEarXiv:0903.4875v22009
TSExplorer: An interactive data annotation and exploration tool for time-series data
Einari Vaaras, Manu Airaksinen, Okko Räsänen
cs.HCcs.AIcs.LGarXiv:2608.30514v12026
jTrans: Jump-Aware Transformer for Binary Code Similarity
Hao Wang, Wenjie Qu, Gilad Katz +5
cs.CRcs.SEarXiv:2205.12713v12022
What happens when software developers are (un)happy
Daniel Graziotin, Fabian Fagerholm, Xiaofeng Wang +1
cs.SEcs.CYarXiv:1707.00432v32017
Evaluating the Code Quality of AI-Assisted Code Generation Tools: An Empirical Study on GitHub Copilot, Amazon CodeWhisperer, and ChatGPT
Burak Yetiştiren, Işık Özsoy, Miray Ayerdem +1
cs.SEarXiv:2304.10778v22023
Investigating Explainability of Generative AI for Code through Scenario-based Design
Jiao Sun, Q. Vera Liao, Michael Muller +4
cs.HCcs.AIcs.SEarXiv:2202.04903v12022
Multi-task Learning based Pre-trained Language Model for Code Completion
Fang Liu, Ge Li, Yunfei Zhao +1
cs.SEarXiv:2012.14631v12020
Large Language Models are Few-Shot Summarizers: Multi-Intent Comment Generation via In-Context Learning
Mingyang Geng, Shangwen Wang, Dezun Dong +5
cs.SEarXiv:2304.11384v32023
Neural Program Repair with Execution-based Backpropagation
He Ye, Matias Martinez, Martin Monperrus
cs.SEarXiv:2105.04123v32021
A Disciplined Approach to Adopting Agile Practices: The Agile Adoption Framework
Ahmed Sidky, James Arthur, Shawn Bohner
cs.SEarXiv:0704.1294v12007
Big Code != Big Vocabulary: Open-Vocabulary Models for Source Code
Rafael-Michael Karampatsis, Hlib Babii, Romain Robbes +2
cs.SEarXiv:2003.07914v12020
Learning Syntactic Program Transformations from Examples
Reudismam Rolim, Gustavo Soares, Loris D'Antoni +5
cs.SEcs.LGcs.PLarXiv:1608.09000v12016
IFogSim2: An Extended iFogSim Simulator for Mobility, Clustering, and Microservice Management in Edge and Fog Computing Environments
Redowan Mahmud, Samodha Pallewatta, Mohammad Goudarzi +1
cs.DCcs.PFcs.SEarXiv:2109.05636v22021
Mahotas: Open source software for scriptable computer vision
Luis Pedro Coelho
cs.CVcs.SEarXiv:1211.4907v22012
Factors that Affect Software Systems Development Project Outcomes: A Survey of Research
Laurie McLeod, Stephen G. MacDonell
cs.SEarXiv:2101.08442v12021
Preventing Repeated Real World AI Failures by Cataloging Incidents: The AI Incident Database
Sean McGregor
cs.CYcs.SEarXiv:2011.08512v12020

Software Engineering

ExecRetrieval: Measuring the Functional-Correctness Gap in Code-Embedding Retrieval

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

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

Post-Training Language Models for Gold-Medal Performance in Coding Competitions

A Comprehensive Study of Native Code Bugs in Python Applications

Sampling Projects in GitHub for MSR Studies

Why Modern Open Source Projects Fail

NL2Bash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating System

Comparing Code Explanations Created by Students and Large Language Models

Tuning for Software Analytics: is it Really Necessary?

ProofPulse: Interactive Proof Coverage Analysis for Dafny

Large Language Models for Test-Free Fault Localization

ReACC: A Retrieval-Augmented Code Completion Framework

No More Manual Tests? Evaluating and Improving ChatGPT for Unit Test Generation

A Phased Workflow for Operating LLM-Based Coding Agents

MetaTool Benchmark for Large Language Models: Deciding Whether to Use Tools and Which to Use

DSEffi-Bench: Demystifying Large Language Models' Capability in Efficient Data Science Code Generation

Open-Source Autonomous Driving System Analysis and Multi-Disciplinary Hardware-in-the-Loop Research Paradigm with Reinforcement-Learning Testing and Large Language Models

Beyond Functional Correctness: Exploring Hallucinations in LLM-Generated Code

Update from Hell: Can Coding Agents Survive Hidden Breakage in Dependency Upgrades?

LLM-based Hardware Development with Hierarchical IRs and End-to-End Multi-Agent Workflow

Reading Between the Lines: Modeling User Behavior and Costs in AI-Assisted Programming

The Exclusion Ratchet: False-Positive Suppression Accumulates and Persists in Detection Rule Repositories

Automated Unit Test Improvement using Large Language Models at Meta

Bridge: Automatically Mining Ecosystem-Scale API Update Mappings and Client Update Instances

ChatGPT and Software Testing Education: Promises & Perils

Practical Implementation Report on Introducing Spec-Driven Development Using AI Agents in Software Development PBL

Federated Trust for Embodied Robot Capability Marketplaces

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

Harvey: A Greybox Fuzzer for Smart Contracts

Audit-First Rollback Semantics for Safety-Critical Deployment Pipelines

Bounded, Indeterminate, or a Bug: A Condition-Aware Oracle for Differential Testing of SQL Aggregates

AI with Authority, from Application to Silicon

Structured Neural Summarization

Good Enough Practices in Scientific Computing

How Effective are Smart Contract Analysis Tools? Evaluating Smart Contract Static Analysis Tools Using Bug Injection

Database-Augmented RAG for Automated Repair of REST API Misuses

Towards Fully Automated Medical Imaging Code Generation via Validation-based Context Engineering

Emergent Behavior and Uncertainty in IoT-Enhanced Business Processes: Challenges and Future Directions

Elixir: Effective object-oriented program repair

DocPrompting: Generating Code by Retrieving the Docs

LLM Post-Training as Brownfield Maintenance: An Industrial Perspective on Dataware Engineering

Natural Attack for Pre-trained Models of Code

MontiCore: a Framework for Compositional Development of Domain Specific Languages

Extensible Component Based Architecture for FLASH, A Massively Parallel, Multiphysics Simulation Code

TSExplorer: An interactive data annotation and exploration tool for time-series data

jTrans: Jump-Aware Transformer for Binary Code Similarity

What happens when software developers are (un)happy

Evaluating the Code Quality of AI-Assisted Code Generation Tools: An Empirical Study on GitHub Copilot, Amazon CodeWhisperer, and ChatGPT

Investigating Explainability of Generative AI for Code through Scenario-based Design

Multi-task Learning based Pre-trained Language Model for Code Completion

Large Language Models are Few-Shot Summarizers: Multi-Intent Comment Generation via In-Context Learning

Neural Program Repair with Execution-based Backpropagation

A Disciplined Approach to Adopting Agile Practices: The Agile Adoption Framework

Big Code != Big Vocabulary: Open-Vocabulary Models for Source Code

Learning Syntactic Program Transformations from Examples

IFogSim2: An Extended iFogSim Simulator for Mobility, Clustering, and Microservice Management in Edge and Fog Computing Environments

Mahotas: Open source software for scriptable computer vision

Factors that Affect Software Systems Development Project Outcomes: A Survey of Research

Preventing Repeated Real World AI Failures by Cataloging Incidents: The AI Incident Database