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 71
Reality Is the Final Verifier: On Two Key Gaps in Agentic Software Engineering
Software development follows an implementation-verification loop in which developers or agents iteratively revise an implementation until an evaluator, such as a test suite, accepts it.Local Edits, Global Ripples: Replay-Informed Policy Adaptation for Workflow Synthesis
Prompt-policy editing offers a practical way to improve agents that synthesize executable workflows without updating the underlying model.A decision-basis contract for auditable LLM-assisted medical billing verification: deterministic rules, verbatim evidence, and fail-closed abstention
This work presents a proof of concept for auditable LLM-assisted medical billing verification based on a decision-basis contract.NDT Factory: Synthesizing Verified Network Digital Twins from Semantic Models via Multi-Agent LLM
Autonomous network management requires systems that can evaluate Network Service Intents (NSIs) under varying conditions without manual implementation of analysis logic, as envisioned in TM Forum…Retrieval-Augmented Generation for Scientific Code Understanding
Large language models have become central to modern coding assistants, but state-of-the-art systems such as Claude Code or Codex rely on very large, cloud-hosted models with significant…Learning to adapt GR(1) specifications through degradation
Reactive synthesis is a powerful tool for generating correct-by-construction controllers from formal specifications.Mission Performance: Automatic and Adaptive Race Pace Progression for Autonomous Racing
In this paper, we describe the Mission Performance module implemented for a fully autonomous racing car to automatically manage the longitudinal, lateral, and combined performances, aiming to…Engineering Reliable Commit Gates for Agentic AI: Cost-Aware Verification Portfolios under Common-Mode Data Failures
Agentic systems commit state-changing actions, but additional verifiers can inherit the same upstream fault.The Vibe Shift in Software Engineering: Evaluating AI-Led Conversational Programming for Performance, Cognition, and Responsible Adoption
This study evaluates Vibe Coding, an emerging AI-led conversational programming paradigm that enables developers to generate software through natural-language interaction with large language models.Introducing Consort: A Spec-First Agent Framework for Enforced, Test-Driven Development on Live Database Branches
When an agent writes code, the development framework becomes the control system for a non-deterministic worker.If It's Not Buggy, Don't Fix It: On the Dynamics of Iterative Bug-fixing with LLMs
Large language models (LLMs) have become ubiquitous in software development, with LLM-based automated program repair tools increasingly used during code review.Context operations to architecture modelling output from large language models and evaluation criteria for their use in systems engineering design
The development of generative artificial intelligence resources enables opportunities of speeding up systems and engineering design work.A-JIT: Agentic Just-In-Time Software Construction
Traditional software delivery assumes a static paradigm: code is constructed prior to execution and deployed as a fixed artifact.Retrofitting Code Using LLMs to Support Exceptional Behavior
Exception Related Code (ERC), which includes throw statements, conditions (if statements) that guard those throw statements, and try/catch blocks, is an essential component of software systems…dexamine: A Python package for Uniswap event data on Ethereum
Decentralized exchanges record trading and liquidity provision on public blockchains, but empirical analysis requires interpreting these records and linking them to execution metadata. dexamine is a…AI Safety: Not Optional, Not Later
Incidents show that AI safety failures often arise across multiple layers.Numbat: Building and Verifying a Self-Contained Machine-Learning Stack
Machine-learning systems are built almost exclusively on a few large Python-orchestrated frameworks, and they inherit those stacks' engineering costs: environments of hundreds of version-coupled…Towards a Deterministic Math Solver for Clinical Language Models
Large language models are unreliable at arithmetic, which is a problem for clinical calculators where a single numerical error changes the recommendation.Beyond Static Guarantees: Measuring the Static-Pass Dynamic-Fail Gap in Security-Sensitive and LLM-Generated Python Code
Advances in large language models (LLMs) fuel the quest for scalable methods to assess the security of generated and security-sensitive software.DR-LabStack: Design and Implementation of a Clinician-Facing Web System for Diabetic Retinopathy Prediction
Pretrained diabetic retinopathy (DR) prediction models differ in their input fields, serialization formats, preprocessing requirements, and output semantics.