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 8
Launder-Bench: Can Repository-Level Agentic Code Laundering Be Detected?
Coding agents can now rewrite repository-scale codebases while preserving tested behavior, creating a new challenge for plagiarism detection, license auditing, and software provenance.SWE-Trail: History-Guided Trajectory Collection for Coding Agent Training
Coding agents solve repository issues through long sequences of exploration, editing, and validation.Semantic Interoperability in Federated Digital Twin Systems: A Systematic Review Through the Levels of Conceptual Interoperability Model
When two companies connect their digital twins, software models of their plants kept up to date with live data, each twin must translate the other's data into its own terms, and that translation…Decision Models as Policy Gates for Coding Agents: Explicit Policy Boundaries Improve Detection and Reduce False Alarms
Coding agents can destroy data, leak secrets and message the wrong person faster than a human can review.Built on Broken Assumptions (BOBA): Why Coding Agents Cannot Be Left Alone
Coding agents are autonomous developers.Retrain, Alert, or Rollback? A Three-Response Decision Framework for Production ML Under Concept Drift
When a deployed model degrades under concept drift, an operator can retrain it, raise an alert and monitor, or roll back.Modern Software Engineering with Verification Agents: A Spec-First Architecture for Autonomous Synthesis, Verification IRs, and Organizational Scale
When autonomous coding agents synthesize implementation code, formal specifications, and mechanical proofs simultaneously, the software engineering hierarchy inverts: the formal specification…Trustworthy Execution of Industrial Agents
Industrial agents increasingly modify persistent engineering objects rather than merely generate answers.From Logs to Faults: Reference-Free Fault Localization for Retrieval-Augmented Generation Pipelines
Retrieval-Augmented Generation (RAG) pipelines are widely used for domain-specific question answering, yet locating faults remains manual and time-consuming.DERED: Enhancing Third-Party Library Detection in Binaries via Deceptive Reuse Mitigation
This paper introduces the concept of deceptive reuse a misleading reuse relationship between recipient software that share common TPL code and proposes a novel approach, DERED, to enhance TPL…AgentPRO: Coordinating Compiler Optimizations for LLM Agent Workflows
LLM agents repeatedly return to a model to generate actions and interpret tool results, incurring repeated context processing and generation overhead.The Testability Gap: A Pre-Registered Census of Naming versus Implementation in 59 Cognitive-Architecture LLM Systems
A companion line of work audited individual cognitive-architecture LLM systems in depth and found that module names and module computations are empirically independent claims.Characterizing and Predicting the Longest CI Builds in Machine Learning Projects
Continuous integration (CI) builds in machine learning (ML) projects tend to run longer than in other projects, yet little is known about the longest builds, which consume most CI time.Getting a Grip: Operating Human-Agent Software Teams Through Governed Messages
Software is increasingly developed by teams in which several people direct many coding agents from different vendors.Verification-Gated Redraw and Repair for Local Small Language Models: A Paired Evaluation
Executable checks can reject incorrect model-generated programs, but rejection alone does not determine whether fresh sampling or diagnostic repair is preferable.Architecting Fairness-Aware LLM Interactions
Large Language Models (LLMs) are increasingly used as decision-support tools but may generate stereotypical, discriminatory, or unfair responses.SNAPPerf: Software-Aware Tabular Foundation Model for Retraining-Free Performance Prediction of Configurable Systems
Modern software systems expose hundreds of configuration options whose combinations can substantially affect execution time, memory and energy usage.Dependable Agents Need Hard and Fuzzy Rules
Language models let software read requests in ordinary language, but they keep rules as people do: usually, and less so under pressure.What Must Be Done Here? Using a Bounded Application-Security Ontology at the Point of Change
The security guidance that bears on code is real but scattered.From Stories to Bugs: Story-Based Semantic Fuzzing of Interactive Systems
Complex interactive systems hide business-logic failures along two complementary axes: deep state-dependent behaviors that require long valid prefixes and concurrency-sensitive failures that depend…