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 65
Semantic Layer Induction from Raw Telemetry via Hierarchical LLM and RAG Abstraction
Modern applications generate massive volumes of raw telemetry data, but translating those noisy, heterogeneous event streams into actionable business insights remains a fundamental challenge.The Complexity Kink: A Prompt-Side Structural Complexity Index for Code-Generation Reliability
Complexity measured from generated code is failure-dependent: a difficult prompt can yield a short failing program and be assigned low output complexity.FINSKILLOPS: A Self-Evolving Multi-Agent System for SEC Filing QA
Financial QA systems are typically improved before deployment through better retrieval, prompting, or agent coordination, leaving their reliability behavior fixed thereafter.BA-TRACE: Boundary-Aware Trace Reconstruction for Scenario-Based Evaluation of Mixed AUTOSAR Adaptive and ROS 2 Vehicular Embedded Systems
Modern vehicular embedded systems increasingly combine ROS 2-based autonomous-driving stacks with AUTOSAR Adaptive Platform (AUTOSAR AP).A Closed-Loop Control Architecture for Reliable Constraint Satisfaction in LLM Text Generation
Software systems increasingly embed a large language model in features that must satisfy a numeric output constraint, that is, a requirement expressible as a number or an interval and checkable by…EviRCA: Decoupling Evidence Extraction from Reasoning for Microservice Root-Cause Analysis
Root-cause analysis (RCA) is a critical yet labor-intensive task for maintaining modern microservice systems, making it an attractive target for large language models (LLMs).Mind the Gap: How SBOM Specification Ambiguities Lead to Divergent Software Bills of Materials. An Empirical Tool Study
Software Bill of Materials (SBOMs) will become mandatory starting in December 2027 under the European Cyber Resilience Act (CRA) [8].HapCiD: Detecting API-related Compatibility Issues in OpenHarmony Apps
OpenHarmony, an emerging open-source mobile platform, is rapidly gaining attention in the mobile development community.AdaRepair-Mem: Adaptive Experience Orchestration for Repository-Level Program Repair
Recent memory-augmented repository-level program repair methods reuse historical repair experiences to improve LLM-based issue resolution.Assessing the Construct Validity of Object-Oriented, Class-Level Code Quality Metrics
Code quality metrics are intended to measure latent properties of software source code.Spotlights: Discovering Improvement Opportunities in Software Repositories
Coding agents and evolutionary code-search systems can improve implementations once a target and evaluation criterion have been specified.Q&A on Any Spreadsheet Requires Interpreting Its Grid Structure
Semantic cell annotation improves chunking interpretability for spreadsheets in LLM-driven RAG systems, aiding answer generation through enriched context rather than improved retrieval accuracy.Large Language Models as Falsifiers for Cyber-Physical Systems
Falsification searches for counterexamples to formal specifications in cyber-physical systems (CPS).An Empirical Study of Harness Design for Coding Agents
Coding harnesses shape how autonomous coding agents translate model capabilities into long-horizon software-engineering performance, yet existing work typically evaluates harnesses as monolithic…Quantifying Overclaiming Propensity in Frontier LLM Agents
Frontier coding agents are increasingly trusted to work autonomously for long periods of time, yet what they actually did is often hard to tell from their final response.Helpful but Fallible: Developer Experiences of AI Tools Under a Coordinated Industrial Roll-out
AI-enabled software development tools (AI-devtools) are being industrially adopted under strong expectations of productivity gains, yet developers' experiences of such roll-outs are underexplored.(Don't) Trust, but (Don't) Verify: Developers' Attention to Security in AI-Generated Code
AI coding assistants are rapidly transforming software development, but are known to produce insecure code.A11yLTLNav: Automatic Detection of Accessibility Navigation Failures
For blind and low-vision (BLV) screen-reader users, a website that appears accessible in a static snapshot can become difficult or impossible to navigate once interaction begins.Experimental Settings in LLM-Based Program Repair: A Study of Inputs, Tool Access, Feedback, and Validation
Evaluations of automated program repair (APR) systems commonly report the benchmark, the number of repaired defects, and the tests used for final patch validation, but these items no longer fully…VeriBugBench: An Empirically Grounded Framework for Constructing Verilog RTL Debugging Benchmarks
RTL source-level debugging research requires benchmark artifacts that provide faulty designs together with precise change locations, executable test stimuli, and reproducible configurations.