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 67
TasmScan: Continuation-Aware Taint Analysis for TVM Bytecode with Savelist Abstraction
The Open Network (TON), with a peak market capitalization exceeding $20 billion and over 175 million activated on-chain addresses, relies on the TVM (TON Virtual Machine) to execute smart contracts.Search-Based Metamorphic Testing of Vision-Language Models in Autonomous Underwater Robotic Software
Our industry partner focuses on quality assurance for industrial systems across multiple domains, including maritime systems, such as overwater vessels and autonomous underwater robots (AURs).GANADI: Uncovering C/C++ OSS Reuse Genealogies via Pivotal Function-Based Clustering to Enhance Supply Chain Security
We present GANADI, a systematic approach for identifying C/C++ OSS reuse genealogies to enhance software supply chain security.A Set-Theoretic Evaluation Framework for Assessing Asset Administration Shell Instances: Towards Comparability and Suitability
Asset Administration Shells (AAS) provide a standardized means of representing assets and their information in manufacturing and increasingly serve as a basis for software services.Towards an Asset Administration Shell Maturity Model
The Asset Administration Shell (AAS) is increasingly recognized as a fundamental model for the realization of and data exchange between digital twins in manufacturing.Grounding SWE-Agent Decisions in Architecture-0 Design: Navigating Unknown Unknowns through Physical Mapping
Autonomous Software Engineering Agents (SWE-Agents) excel in deterministic coding tasks but struggle with Architecture 0, the nascent system design phase plagued by implicit engineering constraints…A Memorization Floor for LLM Refinement of Decompiled Code
We introduce a memorization floor: a within-item control separating what LLM refinement of decompiler output recovers from its input from what it recovers from its prior.An Exemplar of a Digital Twin in Mechanical Engineering: Understanding Model Hybridization
Digital Twins (DTs) are widely adopted across a variety of application domains.After the Party: Growth, Governance, and Security Scanning in the OpenClaw Agent Skill Ecosystem
AI agents increasingly act through agent skills, i.e., natural-language instructions, that direct a host agent toward shell, network, credential, file, and process actions, and public registries…Can We Stop The Ads? Taxonomy and Characterization of Smartphone Splash Ads and Existing Countermeasures
Splash ads are full-screen advertisements that pop up and appear as the first interaction page when users start an app, often tricking users into unknowingly activating certain trigger mechanisms…Type-IV Code Clone Detection via Layer-Wise Non-Contrastive Representation Learning
Software clones are fragments of code that are similar or functionally equivalent to each other.Coding Agents Have Converged: Why the SWE-bench Leaderboard Can No Longer Order Its Top Entries, and What to Measure Instead
Small differences on coding-agent leaderboards are often read as an ordering of systems.Quiescence in Concert: Composing Multi-Channel Time-Outs for IOCO
In Model-Based Testing (MBT), test suites are generated automatically from a formal specification.CARE: A Responsibility-Oriented Architecture for Domain-Scoped Resolution in Modular and Upgradeable Smart Contracts
Modular and upgradeable smart-contract systems enable replaceable execution logic, but modular dispatch alone does not define which components own architectural responsibilities such as…A Large-Scale Empirical Study of Quality Assurance Practices and Gaps in AI Agents
Large language model (LLM)-based agents are increasingly used across software engineering, web automation, research, and productivity applications.Detecting Argument-Swap Bugs Using Context-Enhanced Code Representations
Names of source code elements convey rich semantic information and have been widely used in software engineering tasks such as bug detection, code completion, type prediction, and code classification.Toward Sustainable AI Deployment: A Carbon-Aware Decision Framework for Enterprise Supply Chain Systems
Enterprises deploying AI for supply chain decisions commonly default to the largest available language model, a procurement heuristic that neglects both empirical performance and environmental cost.Externalizing Requirement-to-Repair Artifacts as Observable Traces for LLM-Based Program Repair
Repository-level repair requires not only correct patches but also inspectable records that explain how issue requirements are translated into code changes and post-edit evidence.Cross-Ecosystem Packages As Multilingual: Prevalence, Architecture, and Health
Modern software development increasingly relies on using multiple programming languages.OpenAI4S: Code as Action, Science as Sessions
AI co-scientists could accelerate computational research, but over a long-running study the workflow also has to stay inspectable, resumable and reproducible, which requires persistent computational…