Applied & Human-Centered · Computer Science & AI
Software Engineering
The newest papers in Software Engineering that ReadSearch has read, newest first. Each links to its own page, with its authors, date, where it was published and the original.
1,466 papers, from 31 August 2026 to 5 November 2026: 1,451 arXiv preprints and 15 OpenAlex records.
Get the few papers worth your time in Software Engineering every morning.
Follow Software Engineering and ReadSearch reads its new papers each day, then brings you the few worth reading, each with its key finding in a sentence.
Newest papers, page 34
SafeDSE: Joint Exploration of Safety Architecture Patterns, Mapping, and Scheduling for Dataflow Applications With Safety Arguments (Extended Version)
Embedded platforms increasingly host safety-related streaming functions next to less critical ones.EvoWeb: A Benchmark for Coding Agents on Evolving Web Applications
Web application development often proceeds through successive requests that extend an existing implementation.Software Testing Meets Bayesian Workflow: A Literature-Driven Artifact Study of Probabilistic Programs
Automated testing is an effective software quality assurance method, but it is rarely used for probabilistic models.Domain-Knowledge Driven Configuration Tuning of Kubernetes Workloads
Industrial software applications often require engineers to tune the software deployment platform.Same Operation, Different Permission: Evaluating Whether Guardrails Honor Authorization
As language-model agents write code, move money and change records on behalf of users, deciding whether an action is authorized has become a central safety problem.SpecGuardBench: Can Coding Agents Construct Reliable Validation Harnesses from Natural Language Specifications?
As coding agents become more capable, tests remain the primary evidence for judging whether their code is correct.DeepGroundRepair: From API-Grounded Generation to Shape-Aware Repair for Deep Learning Programs
Deep learning programs are fundamental to modern AI applications, and automatically generating them from natural language requirements can substantially reduce DL development effort.ML Engineering Agents - A Data Management Perspective
Machine learning engineering (MLE) agents are emerging as a new paradigm for automating end-to-end ML pipeline development.CWE-bench: Refocusing Agentic Security from Exploitation to Defense
Cybersecurity evaluations of AI agents have focused largely on offense, yet a working exploit does not show that an agent can make software safe.AIPOCH Open-Science: An Open-Source AI Research Workbench with Reproducible .science Packages
AI-assisted research leaves instructions, computations, artifact revisions and checks whose relationships matter when another researcher receives the work.The Format is the Filter: Scoring Format Fixes What an LLM Judge Can Express
When an LLM judge filters instruction-tuning data, its scoring format (binary verdict, 1--5 rating, 0--100 score, or comparison) is rarely justified or ablated.Deleting Code Without Losing Knowledge: Regenerative Software for Python Libraries
In the age of "Software 3.0", when a complete program can be rewritten in minutes by an agent, the traditional approach of relying on code as the sole source of truth becomes questionable.CodeLift: Your Test Suite Is Secretly a Dense SWE Curriculum
The pass-all-test binary reward has become a standard recipe for training software engineering agents, but its sparsity eliminates difference of partially correct patches.HybridDualPathNet: Cross-Fusion Attention of EfficientNetV2 and Swin Transformer for Brain MRI Classification of Alzheimer's and Parkinson's Disease
Separating Alzheimer's Disease (AD), Parkinson's Disease (PD), and Healthy Controls (HC) using structural MRI remains challenging because disease signatures overlap and model performance can be…VulnBump: A Benchmark for Fixing Vulnerable Dependencies in Real Projects While Keeping the Build and Tests Green
Software composition analysis (SCA) tools report far more vulnerable dependencies than teams fix: in Snyk Open Source production data, 94% of vulnerability findings have a known fixed version, yet…Why Agentic Workflows Fail: A Taxonomy Derived from Literature and Empirical Data
Agentic workflows combine large language models with planning, memory, tools, execution environments, and iterative feedback.When Is RTL Better? Auditing Evaluation Stability with Tool-Grounded Requirement Profiles
RTL-generation studies increasingly report functional correctness and post-synthesis quality, yet the evaluator itself is rarely treated as an experimental variable.Verifying Autoware Controller Node by Combining Model Verification and Runtime Monitoring
Formal modeling and verification of autonomous driving systems remain challenging due to the vast operational space and the complexity of the control logic.PassSum: Leveraging Paths of Abstract Syntax Trees and Self-Supervision for Code Summarization
Code summarization is to provide a high-level comment for a code snippet that typically describes the function and intent of the given code.Comparing the Pre-trained Models of Source Code by Re-pre-training under a Unified Setup
Recent years have seen the successful application of large pre-trained models of source code (CodePTMs) to code representation learning, which have taken the field of software engineering (SE) from…