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 23
AI-Based End-to-End Automotive Design and Software Development for SDVs
This paper explores the potential of Artificial Intelligence (AI) to enable end-to-end automotive design and software development for Software-Defined Vehicles (SDVs).Turning Quantum Compiler Configuration Selection Upside Down: A Top-Down Paradigm
Selecting an effective quantum compiler configuration requires coordinated decisions over both hardware targets and compiler settings, with the ultimate goal of improving circuit execution fidelity.CloudIR-Bench: A Benchmark for Root Cause Analysis and Mitigation of Cloud Incidents
Root cause analysis (RCA) and mitigation prediction are essential for incident management, enabling the identification of underlying causes of failures and ensuring the reliability of complex…Motivation and Contribution in Open Source Software: A Meta-Analytic Investigation
Research on why people contribute to open source software (OSS) and related open collaboration platforms spans more than two decades, but its findings conflict, and studies often treat the work…Do Coding Agents Understand Why Systems Crash---and Why They Don't?
Coding agents are increasingly capable of fixing real-world bugs, yet they still struggle with large systems codebases such as the Linux kernel.CertMoE: Robustness Certification for Mixture-of-Experts LLMs via Routing-Aware Smoothing
Provable robustness is a cornerstone of trustworthy machine learning, aiming to guarantee model predictions under adversarial perturbations.RegoMender: A Multi-agent Framework for Automated Rego Policy Repair
Policy-as-Code (PaC) has emerged as a foundational paradigm in cloud-native systems.On the Effectiveness of Snapshot Testing: An Empirical Study
Software testing is essential for ensuring quality, yet testing complex front-end user interfaces is often time-consuming and difficult.Who Verifies the Agent's Success Claim? Self-Report Leakage in GUI-Agent Completion Judging
In automation pipelines, a GUI agent's confident success report can let downstream stages proceed even when the recorded execution trace does not show that the agent produced the requested outcome.Reference Manual of MEDiml
Radiomics is the high-throughput extraction of quantitative features (e.g., tumor shape, intensity distributions, and texture) from medical images to characterize tissues and uncover disease…Benchmarking Coding Agents for System-Level Performance Optimization
Coding agents are becoming an increasingly important paradigm for automating software engineering tasks.SAKURA: Serving Attention Key-Value State Under Rate Adaptation for Private Image Editing on Phones
Diffusion transformers are widely used in image-editing services.Engineering Requirements for Generative AI Agents: The BARD Process Theory
How teams engineer requirements for systems built around Generative AI (GenAI) Agents remains empirically uncharted.Metamodel-Guided LLM Decoding for Consistent DSL Generation
Large language models (LLMs) are increasingly used to generate software engineering artifacts written in domain-specific languages (DSLs).Bridging Foundational and Agentic Capabilities of LLMs
Large language models (LLMs) are increasingly deployed as agents, yet it remains unclear how their foundational capabilities translate into agentic capabilities.VeruSteer: Learning What to Repair Next in Verus
LLM-based verification systems repair Rust proofs by revising programs in response to Verus diagnostics.AssureCode: Structured Justification for Trustworthy Agentic Coding
The use of AI-based tools in software development is rapidly changing how software is produced, enabling large volumes of code to be generated with limited human implementation effort.ALIAS: Evaluating Performance and Memorization in LLM-Written TLA+ Specifications
Memorization inflates the benchmark scores of large language models (LLMs), since a model can reproduce answers it saw in training.Controlling Variability in~Neuroimaging Analysis Pipelines with~Software Product Lines
Magnetic resonance imaging (MRI) is an acquisition technique used for medical diagnosis.PAUSE: Search-Free Steering of Coding Agents Before Their First Source-Code Edit
Coding agents can invest substantial effort in repository exploration and testing yet still produce unsuccessful patches.