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,701 to 2,760 of 2,780

Automated Vulnerability Injection in Smart Contracts Using Large Language Models
Luca Migliaccio, Roberto Natella, Naghmeh Ivaki +2
cs.SEcs.AIcs.CRarXiv:2609.02624v12026
Summaries:한국어
Towards an Understanding of Large Language Models in Software Engineering Tasks
Zibin Zheng, Kaiwen Ning, Qingyuan Zhong +5
cs.SEarXiv:2308.11396v32023
Machine Teaching: A New Paradigm for Building Machine Learning Systems
Patrice Y. Simard, Saleema Amershi, David M. Chickering +8
cs.LGcs.AIcs.HCarXiv:1707.06742v32017
ToolRosella: Translating Code Repositories into Standardized Tools for Scientific Agents
Shimin Di, Xujie Yuan, Hanghui Guo +10
cs.SEcs.CEcs.MAarXiv:2603.09290v52026
Improving fairness in machine learning systems: What do industry practitioners need?
Kenneth Holstein, Jennifer Wortman Vaughan, Hal Daumé +2
cs.HCcs.CYcs.LGarXiv:1812.05239v22018
Automated software vulnerability detection with machine learning
Jacob A. Harer, Louis Y. Kim, Rebecca L. Russell +13
cs.SEcs.LGstat.MLarXiv:1803.04497v22018
ClawHub Security Signals: When VirusTotal, Static Analysis, and SkillSpector Disagree
Vincent Koc, Patrick Erichsen, Jacob Tomlinson +3
cs.CRcs.AIcs.SEarXiv:2606.01494v12026
Testing and Evaluation of Agentic AI Systems In Military Command and Control
Ulysse Richard, Heather Frase, Sarah Cao +3
cs.SEcs.AIcs.CYarXiv:2608.20597v12026
Towards Behavior Tree-Guided Vulnerability Detection with Lightweight LLMs
Enna Basic, Alberto Giaretta
cs.CRcs.SEarXiv:2609.01758v12026
Smart Contracts Claimed Vulnerable by the CVE Database, with Labels and Source Locations
Monika di Angelo, Gernot Salzer
cs.CRcs.SEarXiv:2609.01186v12026
Code Transformation Rule Synthesis using LLMs: Potential and Limits
Axel Allain, Aymeric Blot, Djamel Eddine Khelladi +1
cs.SEarXiv:2609.03592v12026
Requirements Engineering for Machine Learning: Perspectives from Data Scientists
Andreas Vogelsang, Markus Borg
cs.LGcs.SEarXiv:1908.04674v12019
ToolGate: An Executable Acceptance Pipeline for Tool-Dependent Scientific Benchmark Construction
Ke Zhang, Yankang Liu, Roya Zandi +1
cs.AIcs.MScs.SEarXiv:2609.02067v12026
Data Quality for Software Vulnerability Datasets
Roland Croft, M. Ali Babar, Mehdi Kholoosi
cs.SEarXiv:2301.05456v12023
Towards Automating Code Review Activities
Rosalia Tufano, Luca Pascarella, Michele Tufano +2
cs.SEarXiv:2101.02518v42021
Barriers to Using Static Application Security Testing (SAST) Tools: A Literature Review
Zachary Wadhams, Clemente Izurieta, Ann Marie Reinhold
cs.SEcs.CRarXiv:2609.01669v12026
Limitations of Agile Software Processes
Dan Turk, Robert France, Bernhard Rumpe
cs.SEarXiv:1409.6600v12014
ExecRetrieval: Measuring the Functional-Correctness Gap in Code-Embedding Retrieval
Aaryan Kapoor, Md Abdullah Al Hafiz Khan
cs.SEcs.CLcs.IRarXiv:2609.01865v12026
Sampling Projects in GitHub for MSR Studies
Ozren Dabic, Emad Aghajani, Gabriele Bavota
cs.SEarXiv:2103.04682v12021
AI with Authority, from Application to Silicon
Jason Hickey
cs.SEcs.AIcs.ARarXiv:2608.21356v22026
Summaries:简体中文
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
What happens when software developers are (un)happy
Daniel Graziotin, Fabian Fagerholm, Xiaofeng Wang +1
cs.SEcs.CYarXiv:1707.00432v32017
Preventing Repeated Real World AI Failures by Cataloging Incidents: The AI Incident Database
Sean McGregor
cs.CYcs.SEarXiv:2011.08512v12020
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
Rethinking Vulnerability Remediation as a Capacity Allocation Problem
Jana Stucke
cs.SEarXiv:2608.28509v12026
RESTCov: A Tool for Structural Coverage Analysis of REST APIs
Tolgahan Bardakci, Serge Demeyer
cs.SEarXiv:2608.28114v12026
Moirae: A Multimodal Agent Collaborative Framework for Dynamic Android Malware Detection
Xueying Zeng, Youquan Xian, Yanze Li +7
cs.CRcs.SEarXiv:2608.27994v12026
A Survey of DevOps Concepts and Challenges
Leonardo Leite, Carla Rocha, Fabio Kon +2
cs.SEarXiv:1909.05409v42019
Semantically Enhanced Software Traceability Using Deep Learning Techniques
Jin Guo, Jinghui Cheng, Jane Cleland-Huang
cs.SEarXiv:1804.02438v12018
Blockchain-oriented Software Engineering: Challenges and New Directions
Simone Porru, Andrea Pinna, Michele Marchesi +1
cs.SEarXiv:1702.05146v12017
ChatUniTest: A Framework for LLM-Based Test Generation
Yinghao Chen, Zehao Hu, Chen Zhi +3
cs.SEarXiv:2305.04764v22023
Evaluation and Measurement of Software Process Improvement -- A Systematic Literature Review
Michael Unterkalmsteiner, Tony Gorschek, A. K. M. Moinul Islam +3
cs.SEarXiv:2307.13143v12023
Loghub: A Large Collection of System Log Datasets for AI-driven Log Analytics
Jieming Zhu, Shilin He, Pinjia He +2
cs.SEarXiv:2008.06448v32020
Predictive Monitoring of Business Processes
Fabrizio Maria Maggi, Chiara Di Francescomarino, Marlon Dumas +1
cs.SEarXiv:1312.4874v22013
A Simulation Model for the Waterfall Software Development Life Cycle
Youssef Bassil
cs.SEarXiv:1205.6904v12012
Harness Engineering for Predictable Agentic Systems: An Empirical Study of Deterministic Execution Constraints
Saransh Dhage
cs.SEarXiv:2608.26197v12026
Evaluating Quality of Chatbots and Intelligent Conversational Agents
Nicole M. Radziwill, Morgan C. Benton
cs.CYcs.SEarXiv:1704.04579v12017
Challenges and Contributions in Quality of AI-Based Software: A Systematic Mapping Study
Maryum Hamdani, Mateen Ahmed Abbasi, Marko Jäntti +1
cs.SEarXiv:2608.26215v12026
Kale: A Transformation-Safe Spreadsheet System
Michael Coblenz, Jacob Yim, Ajinkya Bokade +11
cs.HCcs.SEarXiv:2608.26345v12026
SciPy 1.0--Fundamental Algorithms for Scientific Computing in Python
Pauli Virtanen, Ralf Gommers, Travis E. Oliphant +32
cs.MScs.DScs.SEarXiv:1907.10121v12019
Processing/p5 Defined through Practice and Learning
Kit Kuksenok, Lee Tusman
cs.SEcs.HCarXiv:2608.26614v12026
RepoBench: Benchmarking Repository-Level Code Auto-Completion Systems
Tianyang Liu, Canwen Xu, Julian McAuley
cs.CLcs.AIcs.SEarXiv:2306.03091v22023
When Tool Outputs Become Commands: Separating Action Induction from Runtime Authorization in Tool-Augmented LLM Agents
Xiaokun Guo, Zhen Xu, Dongdong Huo +5
cs.AIcs.SEarXiv:2608.27146v12026
Scenarios for Development, Test and Validation of Automated Vehicles
Till Menzel, Gerrit Bagschik, Markus Maurer
cs.SEarXiv:1801.08598v32018
An Analysis of the Cloud Computing Security Problem
Mohamed Almorsy, John Grundy, Ingo Müller
cs.SEcs.CRarXiv:1609.01107v12016
SDR Driver for Precise Timing Applications
Fabrizio Pollastri
cs.SEarXiv:2608.23614v12026
KONTOGRAPH: Verified Point-in-Time Feature Consistency and Amortised Explanation for Real-Time Anti-Money Laundering under a 200 ms Decision Budget
Ahmed Abolfadl
cs.CRcs.AIcs.LGarXiv:2608.22389v12026
Metis: Typed Runtime Mediation for Tool-Using Software Agents
Jun Yu
cs.SEarXiv:2608.25322v12026
Predicting Struggling Students in CS1 Programming Using Keystroke-Level Editing Features
Yasuyo Kofune, Kazumasa Shimari, Kenichi Matsumoto
cs.SEarXiv:2608.25769v12026
From General Agents to RCA Experts: A Self-Evolving Harness for Root Cause Analysis
Haiyu Huang, Jiewei Lyu, Zhihan Jiang +5
cs.SEcs.AIarXiv:2608.25661v12026
Summaries:简体中文
SPECMINE: A Large-Scale Corpus of Spec-Driven Development Artifacts
Shyam Agarwal, Bogdan Vasilescu
cs.SEcs.AIarXiv:2608.25202v12026
Composable Building Blocks for Resilient Asynchronous Code
Frank Tip
cs.SEcs.PLarXiv:2608.21489v12026
Confidently Wrong, Silently So: Auditing Undetectable Failures of a Deployed On-Device Language Model
Shashwat Pandey, Satwik Pandey, Suresh Raghu
cs.SEcs.AIarXiv:2608.23663v12026
LLM Agents Perform Controlled Experiments Using Simulation Models
Yuchen Xia, Michael Weyrich, Nasser Jazdi +6
cs.AIcs.CLcs.MAarXiv:2608.23622v12026
How Work From Home Affects Collaboration: A Large-Scale Study of Information Workers in a Natural Experiment During COVID-19
Longqi Yang, Sonia Jaffe, David Holtz +9
cs.CYcs.HCcs.SEarXiv:2007.15584v12020
Towards LLM-Enhanced Android Taint Analysis
Nicholas Miazzo, Marco Alecci, Jordan Samhi +2
cs.SEcs.CRarXiv:2608.24269v12026
How Reliable Are NVD CWE Labels? A Large-Scale Semantic Audit with Seclometry
Yu Nong, Yao Du, Majid Behravan +1
cs.CRcs.SEarXiv:2608.21977v12026
An AI-Assisted Migration Framework for Transforming Legacy Scientific Applications into Reusable Cloud-Based Workflows
Nafiseh Soveizi, Sven Tesselaar, Hero Robinson Brouwer +1
cs.SEarXiv:2608.23146v12026
Benchmarking the Titans: A Multi-Dimensional Empirical Evaluation of LLM Code Generation Quality in the .NET Ecosystem
Seyed Mohammad Mahdi Ghalandarian, Majid Bazargani, Masoumeh Taromirad
cs.SEarXiv:2608.22529v12026

Software Engineering

Automated Vulnerability Injection in Smart Contracts Using Large Language Models

Towards an Understanding of Large Language Models in Software Engineering Tasks

Machine Teaching: A New Paradigm for Building Machine Learning Systems

ToolRosella: Translating Code Repositories into Standardized Tools for Scientific Agents

Improving fairness in machine learning systems: What do industry practitioners need?

Automated software vulnerability detection with machine learning

ClawHub Security Signals: When VirusTotal, Static Analysis, and SkillSpector Disagree

Testing and Evaluation of Agentic AI Systems In Military Command and Control

Towards Behavior Tree-Guided Vulnerability Detection with Lightweight LLMs

Smart Contracts Claimed Vulnerable by the CVE Database, with Labels and Source Locations

Code Transformation Rule Synthesis using LLMs: Potential and Limits

Requirements Engineering for Machine Learning: Perspectives from Data Scientists

ToolGate: An Executable Acceptance Pipeline for Tool-Dependent Scientific Benchmark Construction

Data Quality for Software Vulnerability Datasets

Towards Automating Code Review Activities

Barriers to Using Static Application Security Testing (SAST) Tools: A Literature Review

Limitations of Agile Software Processes

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

Sampling Projects in GitHub for MSR Studies

AI with Authority, from Application to Silicon

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

What happens when software developers are (un)happy

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

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

Rethinking Vulnerability Remediation as a Capacity Allocation Problem

RESTCov: A Tool for Structural Coverage Analysis of REST APIs

Moirae: A Multimodal Agent Collaborative Framework for Dynamic Android Malware Detection

A Survey of DevOps Concepts and Challenges

Semantically Enhanced Software Traceability Using Deep Learning Techniques

Blockchain-oriented Software Engineering: Challenges and New Directions

ChatUniTest: A Framework for LLM-Based Test Generation

Evaluation and Measurement of Software Process Improvement -- A Systematic Literature Review

Loghub: A Large Collection of System Log Datasets for AI-driven Log Analytics

Predictive Monitoring of Business Processes

A Simulation Model for the Waterfall Software Development Life Cycle

Harness Engineering for Predictable Agentic Systems: An Empirical Study of Deterministic Execution Constraints

Evaluating Quality of Chatbots and Intelligent Conversational Agents

Challenges and Contributions in Quality of AI-Based Software: A Systematic Mapping Study

Kale: A Transformation-Safe Spreadsheet System

SciPy 1.0--Fundamental Algorithms for Scientific Computing in Python

Processing/p5 Defined through Practice and Learning

RepoBench: Benchmarking Repository-Level Code Auto-Completion Systems

When Tool Outputs Become Commands: Separating Action Induction from Runtime Authorization in Tool-Augmented LLM Agents

Scenarios for Development, Test and Validation of Automated Vehicles

An Analysis of the Cloud Computing Security Problem

SDR Driver for Precise Timing Applications

KONTOGRAPH: Verified Point-in-Time Feature Consistency and Amortised Explanation for Real-Time Anti-Money Laundering under a 200 ms Decision Budget

Metis: Typed Runtime Mediation for Tool-Using Software Agents

Predicting Struggling Students in CS1 Programming Using Keystroke-Level Editing Features

From General Agents to RCA Experts: A Self-Evolving Harness for Root Cause Analysis

SPECMINE: A Large-Scale Corpus of Spec-Driven Development Artifacts

Composable Building Blocks for Resilient Asynchronous Code

Confidently Wrong, Silently So: Auditing Undetectable Failures of a Deployed On-Device Language Model

LLM Agents Perform Controlled Experiments Using Simulation Models

How Work From Home Affects Collaboration: A Large-Scale Study of Information Workers in a Natural Experiment During COVID-19

Towards LLM-Enhanced Android Taint Analysis

How Reliable Are NVD CWE Labels? A Large-Scale Semantic Audit with Seclometry

An AI-Assisted Migration Framework for Transforming Legacy Scientific Applications into Reusable Cloud-Based Workflows

Benchmarking the Titans: A Multi-Dimensional Empirical Evaluation of LLM Code Generation Quality in the .NET Ecosystem