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 52
CLAD: Constrained Abstract Domain for Neural Network Verification
Neural network verification (NNV) formally verifies that a network satisfies a specified property for all inputs within a defined region.Codoku: Renewable Program-Reasoning Challenges for Frontier Coding Agents
Existing program-reasoning benchmarks ask large language models to predict a program's behavior on a given input.When Ambiguity Meets Atypicality: Dual-Perspective Test Input Prioritization for DNNs
While Deep Neural Networks (DNNs) have achieved remarkable progress in cutting-edge domains, their inherent brittleness has become a growing concern.Multi-SWT-Bench: A Multilingual Benchmark for Reproduction Test Generation
Reproduction test generation translates a natural-language issue description into executable tests that fail on the original code and pass after the issue is resolved, providing executable evidence…TraceLib: System-Call Bitmap Feedback Mechanism for Language-Agnostic Web Fuzzing
Coverage feedback is an important source of guidance for fuzzing.Certified Compilation in the TELEPERM XS Nuclear Safety I&C Platform
The large safety instrumentation & control (I&C) systems in civil nuclear power plants (NPPs) are mainly safe-shutdown systems (reactor protection) or limitation and control systems.Verifying Graceful Degradation in a Distributed Malware-Detection System with SPIN
Modern endpoint malware detection is distributed: a lightweight agent on each endpoint collects features from a scanned file or process, sends them to a remote server for analysis, and then enforces…Fewer Assumptions by Design: A Reusable Skill for LLM-Assisted Verus Verification
LLM-assisted Verus verification is a less tedious method to verify Rust implementations, but paired with self-referential structures, e.g., Doubly Linked Lists (DLLs)ânotoriously difficult to…Semi-automated Verification of Symbolic Invariants In Extended Symmetric Nets
Structural analysis is central to Petri Net (PN) research, complementing state-space methods while avoiding their combinatorial issues.Audit the Scaffold, Not the Checkpoint: A Stationarity Dichotomy for Recursive Self-Improvement in Agentic Coding
An auditor who checks whether a system's weights are frozen is checking the wrong thing.SmartMemory: Detecting On-chain-off-chain Communication Inconsistency for Smart Contract via Memory-based Agent
Smart contracts underpin decentralized finance, where growing demand for on-chain/off-chain communication(OFC) has driven diverse applications such as cross-chain bridges, real-world asset…Making the Invisible Visible: A Framework for Reflective AI Use in Software Engineering Education
Generative AI (GenAI) is increasingly embedded in software engineering education, supporting activities such as requirements development, design exploration, documentation, and prototyping.Graph-Based Learning for Multi-Horizon Martian Atmospheric Forecasting
Martian weather forecasting is important for future exploration, but atmospheric behaviour on Mars combines spatial, temporal, vertical, and dust-driven processes in ways that challenge current…When Valid Tool Calls Change Meaning: Formation-Consistent Dispatch for LLM Agents
Tool-enabled agents form calls from model-visible interfaces, while hosts later select their implementation.From Migration to Calibration: Preserving Agent Capabilities across Models, Jurisdictions, and Scale
Agents need calibration when deployment conditions change: replacing a driving model, including a foundation-to-post-trained transition; crossing jurisdictions; or scaling across heterogeneous…Research-Native by Construction: Minimal Nodes, Re-verifiable Workflows, and Compounding Memory for Long-Horizon Scientific Agents
We describe AfS (Agent for Science), a platform built for long-horizon scientific work, where a project runs for tens of hours across dozens of agent runs with a human present only occasionally.Trajectory-Level Security Debt in LLM Coding Agents
LLM coding agents can traverse hundreds of intermediate code states before submitting a solution.Is there a future for models in the LLM era?
In an era where software development is deeply tied with Large Language Models, does Model Driven Engineering (MDE) still make sense?Do Coding Agents Reuse Existing Code or Reinvent the Wheel?
Coding agents are increasingly deployed for iterative development on real repositories, yet existing evaluation barely answers a basic question: \emph{do coding agents reuse existing code or…MCP Error Messages Written for Developers Hurt the Most Capable Agents Most
Many Model Context Protocol (MCP) servers wrap web APIs built for human developers, and their error messages tell the reader to run a command, edit a configuration, open a web page or wait.