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 22
CAMGen: A Core Change-Aware Multi-View Framework for Commit Message Generation
Commit messages help developers understand code changes and support software maintenance.VERA: A Responsible AI Dashboard for Assessing LLM Deployments in Light of the EU AI Act
Institutions that deploy large language models in regulated settings often need technical evidence of responsible AI practices before approving a deployment.Mining the Design Space of Multi-Agent Workflows
Designing large language model (LLM) multi-agent systems (MAS) still relies on trial and error and informal "folk wisdom.Compact-Bench: Measuring What Context Compaction Costs Long-Horizon Coding Agents
Context compaction lets long-horizon coding agents continue beyond their context windows, but can erase the state needed to finish a task.MBABench-2.0: Evaluating AI Agents on Constructing Financial Spreadsheets Beyond Simple Verifiability
Spreadsheets are the lingua franca of modern finance, driving valuation, forecast, audit, and many other core workflows of the industry.Reuse, Rewrite, or Reject: Evidence-Constrained Trace Reuse for Repeated Mobile GUI Control
Mobile GUI agents frequently perform repetitive tasks with similar interaction procedures.What Open-Source Projects Tell Their Coding Agents: A Census of AGENTS.md and CLAUDE.md
Coding agents can be guided with instruction files in a repository.Autoregressive Multimodal Anomaly Detection with Large Language Models for Microservice Systems
Microservice systems have become a dominant architecture for large-scale cloud applications, enabling rapid deployment and elastic scaling.CuraLoc: Repository-Level Fault Localization via Planned Code Inspection
A bug report describes what went wrong, but rarely where the code should change.Ulysses: A Security Harness For Synthesizing Verifiable Web Exploits
How can an AI agent automatically discover security vulnerabilities in any software repository?SWE-Clar: Can Coding Agents Clarify Incomplete Client Requirements and Deliver Greenfield Software?
Greenfield software development in freelance settings requires coding agents to turn incomplete client requests into working software.Knowing When to Stop: The Evidence-Action Gap in Coding Agents
Coding agents are trained to complete tasks, and they keep trying even when the environment makes completion impossible.Permission to Retry: A Study of Authorization and Recovery in AI Agent Workflows
A durable agent can resume a consequential action while its authority changes and the action's external outcome remains uncertain.Beyond Correctness: Attribution of Natural-Language Documentation for Formal Libraries
Formal languages are widely used in software engineering to specify and verify program properties.ToolContractGate: Versioned Trusted Contracts for Drift-Safe Agent Tool Invocation
Agent tool approval and input validation do not, by themselves, bind a request to an approved source artifact.VeriEvolve: Evaluator-First Evolution for Tool-Using Agents
A central obstacle to self-improving agents is the absence of a reliable fitness signal for realistic stateful tasks.Symmetry-Oriented Testing Framework for Variational Quantum Algorithms
Testing quantum software is challenging because quantum states cannot be directly inspected.VeeReview: Measuring Build-Verify Pairs in Agent-Authored Pull Requests from a V-Model Perspective
Reviewing a pull request requires verification evidence that addresses the proposed change.ORSMT: Unleashing the Potential of Satisfiability Modulo Theories for Semantic Verification and Repair in LLM-Based Optimization
Large language models increasingly automate optimization modeling from natural language problems, producing written mathematics, solver code and a returned report.VERDICT: Multi-Agent Parallel Modular Verification
Deductive verification scales to large software systems through modular reasoning, where formal contracts summarize the behavior of individual functions and enable their independent verification.