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)

721 to 780 of 1,389

CodePlan: Repository-level Coding using LLMs and Planning
Ramakrishna Bairi, Atharv Sonwane, Aditya Kanade +6
cs.SEarXiv:2309.12499v12023
Dexpler: Converting Android Dalvik Bytecode to Jimple for Static Analysis with Soot
Alexandre Bartel, Jacques Klein, Martin Monperrus +1
cs.SEarXiv:1205.3576v22012
Code Prediction by Feeding Trees to Transformers
Seohyun Kim, Jinman Zhao, Yuchi Tian +1
cs.SEcs.LGarXiv:2003.13848v42020
Code Generation as a Dual Task of Code Summarization
Bolin Wei, Ge Li, Xin Xia +2
cs.LGcs.AIcs.SEarXiv:1910.05923v12019
When Deep Learning Met Code Search
Jose Cambronero, Hongyu Li, Seohyun Kim +2
cs.SEcs.CLcs.LGarXiv:1905.03813v42019
A Survey on Deep Learning for Software Engineering
Yanming Yang, Xin Xia, David Lo +1
cs.SEarXiv:2011.14597v12020
Using Pre-Trained Models to Boost Code Review Automation
Rosalia Tufano, Simone Masiero, Antonio Mastropaolo +3
cs.SEarXiv:2201.06850v12022
ARJA: Automated Repair of Java Programs via Multi-Objective Genetic Programming
Yuan Yuan, Wolfgang Banzhaf
cs.SEarXiv:1712.07804v12017
Large Language Model-Based Agents for Software Engineering: A Survey
Junwei Liu, Kaixin Wang, Yixuan Chen +4
cs.SEcs.AIarXiv:2409.02977v22024
Code Smells and Refactoring: A Tertiary Systematic Review of Challenges and Observations
Guilherme Lacerda, Fabio Petrillo, Marcelo Pimenta +1
cs.SEarXiv:2004.10777v12020
Testing Deep Neural Networks
Youcheng Sun, Xiaowei Huang, Daniel Kroening +3
cs.LGcs.CVcs.SEarXiv:1803.04792v42018
EvoGenUI-Bench: Evaluating LLMs as Multi-Turn Generative UI Assistants
Yue Peng, Lanke Xia, Zihan Wang +3
cs.AIcs.SEarXiv:2608.29387v12026
Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach
Anastasia Mavridou, Aron Laszka
cs.CRcs.FLcs.SEarXiv:1711.09327v12017
Benchmarking Large Language Models for Automated Verilog RTL Code Generation
Shailja Thakur, Baleegh Ahmad, Zhenxing Fan +5
cs.PLcs.LGcs.SEarXiv:2212.11140v12022
ALTSTEER: Selective Safety Steering for Moving Beyond Hard Refusals to Constructive Alternatives
Hoejoon Kwon, Byeonggeuk Lim, Kahyeon Kim +1
cs.CLcs.SEarXiv:2608.30197v12026
CC2Vec: Distributed Representations of Code Changes
Thong Hoang, Hong Jin Kang, Julia Lawall +1
cs.SEarXiv:2003.05620v12020
Automated Grading and Feedback Tools for Programming Education: A Systematic Review
Marcus Messer, Neil C. C. Brown, Michael Kölling +1
cs.SEarXiv:2306.11722v22023
Code Completion with Neural Attention and Pointer Networks
Jian Li, Yue Wang, Michael R. Lyu +1
cs.CLcs.SEarXiv:1711.09573v22017
Grounded Checklist Partial Credit for Agent Skill Trajectories
Suliu Qin, Lu Yin, Xilu Wang
cs.SEarXiv:2608.27487v12026
Impact of Code Language Models on Automated Program Repair
Nan Jiang, Kevin Liu, Thibaud Lutellier +1
cs.SEarXiv:2302.05020v32023
A^2Agent: Action-Aware Reinforcement Learning for Repository-Level Code Localization Agents
Doyeon Kim, Suyoung Bae, Yumin Lee +1
cs.CLcs.SEarXiv:2608.29831v12026
Machine Learning-Based Prototyping of Graphical User Interfaces for Mobile Apps
Kevin Moran, Carlos Bernal-Cárdenas, Michael Curcio +2
cs.SEcs.CVcs.LGarXiv:1802.02312v22018
Super Library Agent: Joint Generation and Maintenance of Multiple Applications Beyond the Single Codebase
Daegyu Sung, Yukyeong Lee, Geon Park +2
cs.SEcs.AIcs.CLarXiv:2608.29310v12026
WebWorld: The Browser as a World Model for Self-Improving Web Code
Jiajun Wu, Jian Yang, Yaxin Du +7
cs.CLcs.SEarXiv:2608.30530v12026
SantaCoder: don't reach for the stars!
Loubna Ben Allal, Raymond Li, Denis Kocetkov +38
cs.SEcs.AIcs.LGarXiv:2301.03988v22023
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components
Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia
eess.SYcs.LGcs.SEarXiv:1703.00978v32017
Process Mining for Python (PM4Py): Bridging the Gap Between Process- and Data Science
Alessandro Berti, Sebastiaan J. van Zelst, Wil van der Aalst
cs.SEarXiv:1905.06169v12019
Naming the Pain in Requirements Engineering: Contemporary Problems, Causes, and Effects in Practice
D. Méndez Fernández, S. Wagner, M. Kalinowski +20
cs.SEarXiv:1611.10288v12016
Large-scale Complex IT Systems
Ian Sommerville, Dave Cliff, Radu Calinescu +5
cs.SEcs.CYarXiv:1109.3444v12011
IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities
Ziyang Li, Saikat Dutta, Mayur Naik
cs.CRcs.PLcs.SEarXiv:2405.17238v32024
An Empirical Study of Fault Localization Families and Their Combinations
Daming Zou, Jingjing Liang, Yingfei Xiong +2
cs.SEarXiv:1803.09939v22018
Learning to Evaluate Before Improving: Automatic Rubric Induction for Automatic Research Agents
Xuehai Wang, Haowei Qin, Tongxin Liu +6
cs.CLcs.AIcs.IRarXiv:2608.31076v12026
DBRepro: Automated Database Synthesis via a Hybrid Constraint-Solving Approach for Reproducing Slow Queries
Zhaoyang Zhang, Shuang Liu, Dengfeng Xu +4
cs.DBcs.SEarXiv:2608.27822v12026
On Learning Meaningful Code Changes via Neural Machine Translation
Michele Tufano, Jevgenija Pantiuchina, Cody Watson +2
cs.SEcs.CLcs.LGarXiv:1901.09102v12019
Using Large Language Models to Enhance Programming Error Messages
Juho Leinonen, Arto Hellas, Sami Sarsa +4
cs.HCcs.AIcs.CLarXiv:2210.11630v12022
Sentiment Polarity Detection for Software Development
Fabio Calefato, Filippo Lanubile, Federico Maiorano +1
cs.SEcs.CLarXiv:1709.02984v22017
Rethinking Vulnerability Remediation as a Capacity Allocation Problem
Jana Stucke
cs.SEarXiv:2608.28509v12026
A System-of-Systems Case Study for the Verification of Composed Digital Twins
Mennatullah T. Khedr, Mengwei Xu, John S. Fitzgerald +1
cs.SEarXiv:2608.28498v12026
Adaptive Strategy Generation for Boundary Value Exploration Beyond Numeric Inputs
Sabinakhon Akbarova, Felix Dobslaw, Robert Feldt
cs.SEarXiv:2608.28230v12026
Refining ChatGPT-Generated Code: Characterizing and Mitigating Code Quality Issues
Yue Liu, Thanh Le-Cong, Ratnadira Widyasari +4
cs.SEarXiv:2307.12596v22023
When Verified Source Becomes Attack Input: Defending Smart Contracts Against LLM-Based Vulnerability Scanning
Mingyuan Huang, Zimo Ji, Yifan Mo +1
cs.CRcs.SEarXiv:2608.28400v12026
Recovering Software Architecture Intent from Historical Work Items using Generative AI: A Mixed-Methods Industry Case Study
Dominik Storck, Tobias Eisenreich, Stefan Wagner
cs.SEarXiv:2608.28403v12026
Sustainability of Open-Source Machine Learning Robustness Assessment Tools: A Repository Mining Study
Joshua Owotogbe, Indika Kumara, Willem-Jan van den Heuvel +1
cs.SEarXiv:2608.28396v12026
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
Cause Clue Clauses: Error Localization using Maximum Satisfiability
Manu Jose, Rupak Majumdar
cs.PLcs.SEarXiv:1011.1589v22010
Experiences from Using Code Explanations Generated by Large Language Models in a Web Software Development E-Book
Stephen MacNeil, Andrew Tran, Arto Hellas +5
cs.SEcs.HCarXiv:2211.02265v12022
InterCode: Standardizing and Benchmarking Interactive Coding with Execution Feedback
John Yang, Akshara Prabhakar, Karthik Narasimhan +1
cs.CLcs.LGcs.SEarXiv:2306.14898v32023
VR-Themis: A Scalable Framework for Virtual Reality Application Clone Detection
Gengyang Xu, Hanyang Guo, Hong-Ning Dai +1
cs.CRcs.SEarXiv:2608.13290v12026
A Large-Scale Survey on the Usability of AI Programming Assistants: Successes and Challenges
Jenny T. Liang, Chenyang Yang, Brad A. Myers
cs.SEcs.AIcs.HCarXiv:2303.17125v22023
Jigsaw: Large Language Models meet Program Synthesis
Naman Jain, Skanda Vaidyanath, Arun Iyer +4
cs.SEcs.PLarXiv:2112.02969v12021
From Architecture to Binary: Ensuring Cross-Domain Consistency in Model-Based Airborne Software Development
Nils Schlautmann, Viktor Sinitsyn, Benjamin Engelhard +1
cs.SEarXiv:2608.28156v12026
Navigating the Complexity of Generative AI Adoption in Software Engineering
Daniel Russo
cs.SEarXiv:2307.06081v22023
The Probabilistic Model Checker Storm
Christian Hensel, Sebastian Junges, Joost-Pieter Katoen +2
cs.SEarXiv:2002.07080v22020
Bias in Machine Learning Software: Why? How? What to do?
Joymallya Chakraborty, Suvodeep Majumder, Tim Menzies
cs.LGcs.SEarXiv:2105.12195v32021
Is ChatGPT the Ultimate Programming Assistant -- How far is it?
Haoye Tian, Weiqi Lu, Tsz On Li +4
cs.SEcs.AIarXiv:2304.11938v22023
Automatic Root Cause Analysis via Large Language Models for Cloud Incidents
Yinfang Chen, Huaibing Xie, Minghua Ma +15
cs.SEarXiv:2305.15778v42023
RESTCov: A Tool for Structural Coverage Analysis of REST APIs
Tolgahan Bardakci, Serge Demeyer
cs.SEarXiv:2608.28114v12026
Predicting LLM Performance from Prompt Linguistic Features: An Empirical Study in Requirements Engineering
Quim Motger, Alessio Miaschi, Xavier Franch +2
cs.SEarXiv:2608.27621v12026
Image Augmentation as Test Generation for Deep Learning-Based Image Retrieval Systems
Yehan De Silva, Anirudh Sridhar, Armin Lotfy +6
cs.SEcs.CVarXiv:2608.27502v12026
Callability Is Not Operability: Controlled Interface Interventions for LLM Agents
Zihao Wang
cs.SEarXiv:2608.23628v12026

Software Engineering

CodePlan: Repository-level Coding using LLMs and Planning

Dexpler: Converting Android Dalvik Bytecode to Jimple for Static Analysis with Soot

Code Prediction by Feeding Trees to Transformers

Code Generation as a Dual Task of Code Summarization

When Deep Learning Met Code Search

A Survey on Deep Learning for Software Engineering

Using Pre-Trained Models to Boost Code Review Automation

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

Large Language Model-Based Agents for Software Engineering: A Survey

Code Smells and Refactoring: A Tertiary Systematic Review of Challenges and Observations

Testing Deep Neural Networks

EvoGenUI-Bench: Evaluating LLMs as Multi-Turn Generative UI Assistants

Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach

Benchmarking Large Language Models for Automated Verilog RTL Code Generation

ALTSTEER: Selective Safety Steering for Moving Beyond Hard Refusals to Constructive Alternatives

CC2Vec: Distributed Representations of Code Changes

Automated Grading and Feedback Tools for Programming Education: A Systematic Review

Code Completion with Neural Attention and Pointer Networks

Grounded Checklist Partial Credit for Agent Skill Trajectories

Impact of Code Language Models on Automated Program Repair

A^2Agent: Action-Aware Reinforcement Learning for Repository-Level Code Localization Agents

Machine Learning-Based Prototyping of Graphical User Interfaces for Mobile Apps

Super Library Agent: Joint Generation and Maintenance of Multiple Applications Beyond the Single Codebase

WebWorld: The Browser as a World Model for Self-Improving Web Code

SantaCoder: don't reach for the stars!

Compositional Falsification of Cyber-Physical Systems with Machine Learning Components

Process Mining for Python (PM4Py): Bridging the Gap Between Process- and Data Science

Naming the Pain in Requirements Engineering: Contemporary Problems, Causes, and Effects in Practice

Large-scale Complex IT Systems

IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

An Empirical Study of Fault Localization Families and Their Combinations

Learning to Evaluate Before Improving: Automatic Rubric Induction for Automatic Research Agents

DBRepro: Automated Database Synthesis via a Hybrid Constraint-Solving Approach for Reproducing Slow Queries

On Learning Meaningful Code Changes via Neural Machine Translation

Using Large Language Models to Enhance Programming Error Messages

Sentiment Polarity Detection for Software Development

Rethinking Vulnerability Remediation as a Capacity Allocation Problem

A System-of-Systems Case Study for the Verification of Composed Digital Twins

Adaptive Strategy Generation for Boundary Value Exploration Beyond Numeric Inputs

Refining ChatGPT-Generated Code: Characterizing and Mitigating Code Quality Issues

When Verified Source Becomes Attack Input: Defending Smart Contracts Against LLM-Based Vulnerability Scanning

Recovering Software Architecture Intent from Historical Work Items using Generative AI: A Mixed-Methods Industry Case Study

Sustainability of Open-Source Machine Learning Robustness Assessment Tools: A Repository Mining Study

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

Cause Clue Clauses: Error Localization using Maximum Satisfiability

Experiences from Using Code Explanations Generated by Large Language Models in a Web Software Development E-Book

InterCode: Standardizing and Benchmarking Interactive Coding with Execution Feedback

VR-Themis: A Scalable Framework for Virtual Reality Application Clone Detection

A Large-Scale Survey on the Usability of AI Programming Assistants: Successes and Challenges

Jigsaw: Large Language Models meet Program Synthesis

From Architecture to Binary: Ensuring Cross-Domain Consistency in Model-Based Airborne Software Development

Navigating the Complexity of Generative AI Adoption in Software Engineering

The Probabilistic Model Checker Storm

Bias in Machine Learning Software: Why? How? What to do?

Is ChatGPT the Ultimate Programming Assistant -- How far is it?

Automatic Root Cause Analysis via Large Language Models for Cloud Incidents

RESTCov: A Tool for Structural Coverage Analysis of REST APIs

Predicting LLM Performance from Prompt Linguistic Features: An Empirical Study in Requirements Engineering

Image Augmentation as Test Generation for Deep Learning-Based Image Retrieval Systems

Callability Is Not Operability: Controlled Interface Interventions for LLM Agents