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 7
Finding the Pivots to Repair Broken Source-Test Evolution Using LLMs
Repairing obsolete tests in response to source code evolution is critical for test suite reliability and software quality assurance.Can Coding Agents Sustain Continual Evolution without Forgetting?
Recently, harness self-evolution has emerged as an important paradigm for improving agent performance.Specification-Driven Governance for Fairness-by-Design in Agentic Software Engineering: How Far Can We Go?
Agentic AI is shifting developers' responsibilities from software implementation to software governance.uTECH Turbo-MOVES: The Intersection of Software Architectural Innovation and Sustainable Mobility Analysis
Transportation is a major source of energy consumption, greenhouse gas emissions, and criteria air pollutants, making efficient emissions estimation essential for environmental planning and policy…DistDebug-Bench: Can LLM Agents Diagnose Bugs in Distributed Systems?
LLM agents show strong potential in software engineering tasks such as competitive programming and code synthesis.VeriHarm-Bench: Measuring Harmful Success in LLM Coding Agents Verifiably
Large language model (LLM) coding agents increasingly operate with shell access, allowing them to write scripts, move files, alter permissions, and modify system configurations.Supporting Viewpoint Coordination for Compliance by Design with an Artifact Model for Regulatory Requirements Engineering
Regulatory compliance has become an essential software requirement Legal demands for compliance by design CbD call for requirements engineering RE approaches that derive requirements and support…Fixed Detectors, Moving Code: How Well Do Static Security Analyzers Hold Up over a Decade of C/C++ Evolution?
Static application security testing (SAST) tools are often deployed on the assumption that detectors configured today will remain effective on future code, including previously unknown…Performance, Scalability and Maintenance: An Experimental Study of RPA vs. Autonomous Agents in the Healthcare Domain
Healthcare information systems are fragmented, and retrieving data from legacy web portals is a recurrent need.Testing Processor Contracts in Speculative Decoding Engines
Speculative sampling can accelerate decoding without changing the target distribution.LLM-based NPCs in Video Games: A Systematic Mapping Study
For decades, non-player characters (NPCs) have been driven by rule-based systems whose personalities and interactions are scripted before release.A Self-Exploring and Self-Evolving Paradigm for Adaptive Edge AI Development
Large Language Models (LLMs) exhibit powerful code generation abilities, fostering agentic systems to automate edge AI application development.Toward Executable Multi-framework Front-end Code Generation with Self-Correction
Generating codes from UI screenshots has recently benefited from MLLMs, yet existing methods centered on HTML targets and transfer poorly to multi-frameworks such as React, Vue, and Angular.CrossSWE: Benchmarking Cross-Repository Joint Development for Coding Agents
As coding agents achieve increasingly high success rates on software engineering benchmarks, recent efforts have sought to increase task complexity through longer horizons and more extensive code…Impossible Code, Barely Changed Score: A Replay Study of Judge-Based Evaluation
Language models are often used to judge generated code without running it.What reviewers call a Long Method is a length: A pre-registered test of coupling divergence as a god-unit signal, and what it settled instead
A companion study found that a complexity outlier rule shows where complexity concentrates but cannot tell a god unit from a complex algorithm.Phase-wise MLLM Tuning for Multi-framework WebUI Code Generation
Multimodal large language models (MLLMs) achieve strong performance in translating WebUI screenshots into HTML/CSS.VeriBase: Automated Construction of Theorem Libraries for Software Verification
Software verification is typically more challenging than coding.RECEIPT: Measuring and Repairing the Return Assumption of LLM Agents in Web Service Operations
LLM agents operate Web infrastructure from the command line and rely on a return assumption, namely that each tool call returns within a bounded time and with its requested action finished.Step-Zero Attack: Agent Safety Before Observability
Existing attacks and defenses for coding agents act once content enters the model context: injected text persuades the model, and guards inspect what the model reads.