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,521 to 2,580 of 2,759

iStar 2.0 Language Guide
Fabiano Dalpiaz, Xavier Franch, Jennifer Horkoff
cs.SEarXiv:1605.07767v32016
Migrating to Cloud-Native Architectures Using Microservices: An Experience Report
Armin Balalaie, Abbas Heydarnoori, Pooyan Jamshidi
cs.SEcs.DCarXiv:1507.08217v12015
Microservices: yesterday, today, and tomorrow
Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch Lafuente +4
cs.SEarXiv:1606.04036v42016
The Use of Machine Learning Algorithms in Recommender Systems: A Systematic Review
Ivens Portugal, Paulo Alencar, Donald Cowan
cs.SEcs.IRcs.LGarXiv:1511.05263v42015
SourcererCC: Scaling Code Clone Detection to Big Code
Hitesh Sajnani, Vaibhav Saini, Jeffrey Svajlenko +2
cs.SEarXiv:1512.06448v12015
An Integrated Semantic Web Service Discovery and Composition Framework
Pablo Rodriguez-Mier, Carlos Pedrinaci, Manuel Lama +1
cs.AIcs.SEarXiv:1502.02840v12015
On the "Naturalness" of Buggy Code
Baishakhi Ray, Vincent Hellendoorn, Saheel Godhane +3
cs.SEarXiv:1506.01159v22015
Model-Driven Development of Complex Software: A Research Roadmap
Robert France, Bernhard Rumpe
cs.SEarXiv:1409.6620v12014
graph2vec: Learning Distributed Representations of Graphs
Annamalai Narayanan, Mahinthan Chandramohan, Rajasekar Venkatesan +3
cs.AIcs.CLcs.CRarXiv:1707.05005v12017
RefDiff: Detecting Refactorings in Version Histories
Danilo Silva, Marco Tulio Valente
cs.SEarXiv:1704.01544v12017
Linking Software Development and Business Strategy Through Measurement
Victor R. Basili, Jens Heidrich, Mikael Lindvall +5
cs.SEarXiv:1311.6224v12013
Context Aware Computing for The Internet of Things: A Survey
Charith Perera, Arkady Zaslavsky, Peter Christen +1
cs.SEcs.HCarXiv:1305.0982v12013
CloudGenius: Decision Support for Web Server Cloud Migration
Michael Menzel, Rajiv Ranjan
cs.DCcs.SEarXiv:1203.3997v12012
CloudSim: A Novel Framework for Modeling and Simulation of Cloud Computing Infrastructures and Services
Rodrigo N. Calheiros, Rajiv Ranjan, Cesar A. F. De Rose +1
cs.DCcs.OScs.SEarXiv:0903.2525v12009
A Disciplined Approach to Adopting Agile Practices: The Agile Adoption Framework
Ahmed Sidky, James Arthur, Shawn Bohner
cs.SEarXiv:0704.1294v12007
Developing a Unified Verification and Validation Activity Standard at JPL
Maximilian Vierlboeck, Ellen Van Wyk, Natalia Sanchez +6
cs.SEcs.SYeess.SYarXiv:2609.28600v12026
Category-Based MLM: Unifying Powertypes with Superclasses
Mira Balaban, Azzam Maraee, Arnon Sturm
cs.SEarXiv:2609.28810v12026
A Survey of Large Language Models for Code: Evolution, Benchmarking, and Future Trends
Zibin Zheng, Kaiwen Ning, Yanlin Wang +4
cs.SEarXiv:2311.10372v22023
Issuer-Sovereign Agentic Payments
Dishant Sharma, Rajneesh Kaushal, Ashu Kanaujia
cs.CRcs.AIcs.SEarXiv:2609.27452v12026
When "Correct" Is Not Safe: Can We Trust Functionally Correct Patches Generated by Code Agents?
Yibo Peng, James Song, Lei Li +6
cs.CRcs.SEarXiv:2510.17862v12025
Era by Eon: Benchmarking Enterprise Agents on Hidden Knowledge
Benjamin Gruenbaum, Doron Porat, Assaf Natanzon +3
cs.SEcs.AIarXiv:2609.30055v12026
Towards a Platform for Mastering Personal Sovereignty
Judith Michael, Bernhard Rumpe, Antonio Bucchiarone +1
cs.CYcs.SEarXiv:2609.28736v12026
Enhancing LLM Code Generation: A Systematic Evaluation of Multi-Agent Collaboration and Runtime Debugging for Improved Accuracy, Reliability, and Latency
Nazmus Ashrafi, Salah Bouktif, Mohammed Mediani
cs.SEarXiv:2505.02133v12025
Entangle: Uncovering Collaboration in the GitHub Quantum Software Ecosystem
Angel Luis Lara-Martín, Ricardo Pérez-Castillo
cs.SEcs.IRarXiv:2609.28349v12026
CodeBPE: Investigating Subtokenization Options for Large Language Model Pretraining on Source Code
Nadezhda Chirkova, Sergey Troshin
cs.LGcs.CLcs.SEarXiv:2308.00683v12023
AI-powered Code Review with LLMs: Early Results
Zeeshan Rasheed, Malik Abdul Sami, Muhammad Waseem +5
cs.SEarXiv:2404.18496v22024
Reasonable Scale Machine Learning with Open-Source Metaflow
Jacopo Tagliabue, Hugo Bowne-Anderson, Ville Tuulos +3
cs.LGcs.DCcs.SEarXiv:2303.11761v12023
PaperDebugger: A Plugin-Based Multi-Agent System for In-Editor Academic Writing, Review, and Editing
Junyi Hou, Andre Lin Huikai, Nuo Chen +2
cs.AIcs.SEarXiv:2512.02589v22025
GameEngineBench: Evaluating Coding Agents on Real C++ Runtime Environments
Brian La, Sejoon Chang, Ben Kim +5
cs.SEcs.CLarXiv:2607.03525v22026
Software Development Life Cycle Perspective: A Survey of Benchmarks for Code Large Language Models and Agents
Kaixin Wang, Tianlin Li, Xiaoyu Zhang +7
cs.SEcs.AIarXiv:2505.05283v32025
CodeUltraFeedback: An LLM-as-a-Judge Dataset for Aligning Large Language Models to Coding Preferences
Martin Weyssow, Aton Kamanda, Xin Zhou +1
cs.SEcs.CLcs.LGarXiv:2403.09032v32024
NEUROTESTGEN: Neuro-Symbolic Guided Test Generation with Large Language Models
Ruixin Zhang, Jiho Shin, Hung Viet Pham +1
cs.SEarXiv:2609.30178v12026
VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation
Anjiang Wei, Huanmi Tan, Tarun Suresh +5
cs.ARcs.AIcs.CLarXiv:2504.15659v22025
Removing Noise or Introducing Bias? The Hidden Cost of MSR Filtering
Mohit Kaushik, Jyoti Bawa
cs.SEarXiv:2609.18953v12026
A Benchmark Suite and Ground-Truth Methodology for Formal Verification of IEC 61131-3 Ladder Diagram Programs
Pierre Dantas, Lucas Cordeiro, Waldir Junior
cs.CLcs.ARcs.SEarXiv:2609.18994v12026
Dislocated Accountabilities in the AI Supply Chain: Modularity and Developers' Notions of Responsibility
David Gray Widder, Dawn Nafus
cs.CYcs.HCcs.SEarXiv:2209.09780v32022
Style, Not Self: Surface Cues Explain Zero-Shot Code Attribution by Large Language Models
Ehsan Barkhordar, Surendrabikram Thapa
cs.AIcs.CLcs.SEarXiv:2609.30048v12026
IaC-Guard-V: A Verification Framework for LLM-Generated Infrastructure-as-Code Repairs
Lokesh Chauhan
cs.SEarXiv:2609.28488v12026
Between the Commits: Process, Error, and Claim Reliability in a Wholly AI-Authored Codebase
Douglas Leith
cs.SEcs.AIarXiv:2609.29744v12026
A Survey: Collaborative Hardware and Software Design in the Era of Large Language Models
Cong Guo, Feng Cheng, Zhixu Du +21
cs.ARcs.AIcs.LGarXiv:2410.07265v12024
AI-Augmented Business Process Management Systems: A Research Manifesto
Marlon Dumas, Fabiana Fournier, Lior Limonad +11
cs.AIcs.SEarXiv:2201.12855v42022
ChatGPT for Vulnerability Detection, Classification, and Repair: How Far Are We?
Michael Fu, Chakkrit Tantithamthavorn, Van Nguyen +1
cs.SEcs.CRarXiv:2310.09810v12023
Explainable Software Analytics
Hoa Khanh Dam, Truyen Tran, Aditya Ghose
cs.SEarXiv:1802.00603v12018
GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis
Yuqiang Sun, Daoyuan Wu, Yue Xue +5
cs.CRcs.AIcs.SEarXiv:2308.03314v32023
FeatLens: Feature-Guided Dynamic Code Graph Construction and Retrieval for Repository-Level Code Generation
Xutian Li, Bo Xiong, Yifeng Zhu +6
cs.SEcs.AIarXiv:2609.26480v12026
Reducing Hallucinations in Large Language Models Through Integrated Self-Verification and Retrieval-Augmented Generation
Ashly Joseph
cs.SEcs.AIarXiv:2609.26229v12026
Code Generation with AlphaCodium: From Prompt Engineering to Flow Engineering
Tal Ridnik, Dedy Kredo, Itamar Friedman
cs.LGcs.CLcs.SEarXiv:2401.08500v12024
CVEfixes: Automated Collection of Vulnerabilities and Their Fixes from Open-Source Software
Guru Prasad Bhandari, Amara Naseer, Leon Moonen
cs.SEcs.AIcs.CRarXiv:2107.08760v12021
CHISEL-ing Back Source Code with AI-enabled Iterative Recovery
Varun Kohli, N Raghava, Biplab Sikdar +1
cs.CRcs.SEarXiv:2608.27981v12026
From Blind Edits to Verified Repair: Building Trustworthy User-Side LLM Agents for Web Accessibility
Lily Bundgaard Wanscher, Markus Heidemann Lorensen, Mohammed Ammad Shafiq +2
cs.HCcs.SEarXiv:2608.24913v12026
FPGAgent: An LLM-Assisted Framework for Autonomous HLS Code Generation and Verification in FPGA Environments
Tianyu Wang, Wenjie Wang, Jianguo Yao +2
cs.SEarXiv:2608.23630v12026
Where Does Balance Break? Boundary Discovery for Game Balance Testing under a Finite Simulation Budget
Hiroki Mukai, Yusaku Kato, Norihiro Yoshida +2
cs.SEarXiv:2608.28364v12026
Cost-Effective Repository Exploration for Agentic Issue Localization
Mohammad Nour Al Awad, Sergey Ivanov
cs.SEcs.AIarXiv:2608.29675v12026
LLM Agents Can See Code Repositories
Dongjian Ma, Silin Chen, Yufei Yang +3
cs.SEarXiv:2606.14061v42026
Does ISO-Grounded NFR Specification Improve LLM Code Generation? A Comparison of Rich and Structured Interventions against a Natural-Language Baseline
Joào Pedro Monteiro Pereira, Vinicius Cardoso Garcia
cs.SEcs.AIcs.LGarXiv:2608.13742v12026
DafnyPro: LLM-Assisted Automated Verification for Dafny Programs
Debangshu Banerjee, Olivier Bouissou, Stefan Zetzsche
cs.SEarXiv:2601.05385v12026
Using an LLM to Help With Code Understanding
Daye Nam, Andrew Macvean, Vincent Hellendoorn +2
cs.SEcs.AIcs.HCarXiv:2307.08177v32023
SPT-Code: Sequence-to-Sequence Pre-Training for Learning Source Code Representations
Changan Niu, Chuanyi Li, Vincent Ng +3
cs.SEarXiv:2201.01549v42022
When Deep Learning Met Code Search
Jose Cambronero, Hongyu Li, Seohyun Kim +2
cs.SEcs.CLcs.LGarXiv:1905.03813v42019
An LLM-Assisted Easy-to-Trigger Backdoor Attack on Code Completion Models: Injecting Disguised Vulnerabilities against Strong Detection
Shenao Yan, Shen Wang, Yue Duan +4
cs.CRcs.AIcs.SEarXiv:2406.06822v12024

Software Engineering

iStar 2.0 Language Guide

Migrating to Cloud-Native Architectures Using Microservices: An Experience Report

Microservices: yesterday, today, and tomorrow

The Use of Machine Learning Algorithms in Recommender Systems: A Systematic Review

SourcererCC: Scaling Code Clone Detection to Big Code

An Integrated Semantic Web Service Discovery and Composition Framework

On the "Naturalness" of Buggy Code

Model-Driven Development of Complex Software: A Research Roadmap

graph2vec: Learning Distributed Representations of Graphs

RefDiff: Detecting Refactorings in Version Histories

Linking Software Development and Business Strategy Through Measurement

Context Aware Computing for The Internet of Things: A Survey

CloudGenius: Decision Support for Web Server Cloud Migration

CloudSim: A Novel Framework for Modeling and Simulation of Cloud Computing Infrastructures and Services

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

Developing a Unified Verification and Validation Activity Standard at JPL

Category-Based MLM: Unifying Powertypes with Superclasses

A Survey of Large Language Models for Code: Evolution, Benchmarking, and Future Trends

Issuer-Sovereign Agentic Payments

When "Correct" Is Not Safe: Can We Trust Functionally Correct Patches Generated by Code Agents?

Era by Eon: Benchmarking Enterprise Agents on Hidden Knowledge

Towards a Platform for Mastering Personal Sovereignty

Enhancing LLM Code Generation: A Systematic Evaluation of Multi-Agent Collaboration and Runtime Debugging for Improved Accuracy, Reliability, and Latency

Entangle: Uncovering Collaboration in the GitHub Quantum Software Ecosystem

CodeBPE: Investigating Subtokenization Options for Large Language Model Pretraining on Source Code

AI-powered Code Review with LLMs: Early Results

Reasonable Scale Machine Learning with Open-Source Metaflow

PaperDebugger: A Plugin-Based Multi-Agent System for In-Editor Academic Writing, Review, and Editing

GameEngineBench: Evaluating Coding Agents on Real C++ Runtime Environments

Software Development Life Cycle Perspective: A Survey of Benchmarks for Code Large Language Models and Agents

CodeUltraFeedback: An LLM-as-a-Judge Dataset for Aligning Large Language Models to Coding Preferences

NEUROTESTGEN: Neuro-Symbolic Guided Test Generation with Large Language Models

VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation

Removing Noise or Introducing Bias? The Hidden Cost of MSR Filtering

A Benchmark Suite and Ground-Truth Methodology for Formal Verification of IEC 61131-3 Ladder Diagram Programs

Dislocated Accountabilities in the AI Supply Chain: Modularity and Developers' Notions of Responsibility

Style, Not Self: Surface Cues Explain Zero-Shot Code Attribution by Large Language Models

IaC-Guard-V: A Verification Framework for LLM-Generated Infrastructure-as-Code Repairs

Between the Commits: Process, Error, and Claim Reliability in a Wholly AI-Authored Codebase

A Survey: Collaborative Hardware and Software Design in the Era of Large Language Models

AI-Augmented Business Process Management Systems: A Research Manifesto

ChatGPT for Vulnerability Detection, Classification, and Repair: How Far Are We?

Explainable Software Analytics

GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis

FeatLens: Feature-Guided Dynamic Code Graph Construction and Retrieval for Repository-Level Code Generation

Reducing Hallucinations in Large Language Models Through Integrated Self-Verification and Retrieval-Augmented Generation

Code Generation with AlphaCodium: From Prompt Engineering to Flow Engineering

CVEfixes: Automated Collection of Vulnerabilities and Their Fixes from Open-Source Software

CHISEL-ing Back Source Code with AI-enabled Iterative Recovery

From Blind Edits to Verified Repair: Building Trustworthy User-Side LLM Agents for Web Accessibility

FPGAgent: An LLM-Assisted Framework for Autonomous HLS Code Generation and Verification in FPGA Environments

Where Does Balance Break? Boundary Discovery for Game Balance Testing under a Finite Simulation Budget

Cost-Effective Repository Exploration for Agentic Issue Localization

LLM Agents Can See Code Repositories

Does ISO-Grounded NFR Specification Improve LLM Code Generation? A Comparison of Rich and Structured Interventions against a Natural-Language Baseline

DafnyPro: LLM-Assisted Automated Verification for Dafny Programs

Using an LLM to Help With Code Understanding

SPT-Code: Sequence-to-Sequence Pre-Training for Learning Source Code Representations

When Deep Learning Met Code Search

An LLM-Assisted Easy-to-Trigger Backdoor Attack on Code Completion Models: Injecting Disguised Vulnerabilities against Strong Detection