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 33
Instructions Are Evidence, Not Objectives: Measuring Outcome Alignment of Agents
Large language model agents can follow complex human instructions to solve real-world tasks.Diff Diffusion: Predicting Edit Paths with Diffusion Models for Efficient Code Editing
Diffusion large language models (dLLMs) are appealing for code generation because they can update many tokens in parallel, yet many are optimized for sequence synthesis rather than edit prediction.State-Aware Generation of Deployable Websites from Visual Prototypes and Requirements
Generating deployable websites from visual prototypes and textual requirements is increasingly feasible with multimodal models, yet keeping generated projects consistent with their prototypes…Mobile App Analysis in the New Era: Challenges and the Road Ahead
Mobile applications (apps) have grown into complex, multi-platform systems that support diverse services and operate within varying regulatory and distribution contexts.Interaction-as-a-Judge
Coding agents are tasked with producing sophisticated interactive applications such as websites, desktop applications, and games.SpecCloak: Probing Harmful Code Generation through Engineering Specifications
The code generation capabilities of large language models (LLMs) can equally be misused to implement harmful functionality, underscoring the need to understand their safety behavior in response to…SWEPatchTest: Evaluating Software Tests Beyond Reproduction
Coding agents use generated tests to decide whether a proposed patch satisfies an issue's requirements.Soliduzz: Finding Miscompilations in Smart-Contract Compilers with Assertion-Driven Equivalence Oracles
Smart contracts compiled to the Ethereum Virtual Machine (EVM) can manage high-value assets and are difficult to patch after deployment.Assessing the Quality of Concrete Scenarios Generated from Scenario Classes for Automated Driving
A scenario-based development approach has become state of the art for automated driving systems.SWE-MISBEHAVIOR: Benchmarking and Mitigating Boundary Violations in Software Coding Agents
We present SWE-MISBEHAVIOR, the first taxonomy and evaluation framework for diagnosing boundary-violating misbehaviors in coding agents.ReTerm: Recovery Training for Self-Improving Terminal Agents
Terminal agents have shown strong abilities in complex coding tasks.APTree: Extended Behavior Trees for Adaptive and Scalable Automated Robotic Task Planning in Construction
Task planning for robots in off-site construction prefabrication is primarily manual, leading to planning inefficiencies and reluctance to adopt robotic solutions.X.js: A Live Benchmark for Node.js Taint-Style Vulnerabilities
JavaScript vulnerabilities in npm packages pose a significant risk to the Node$.$js ecosystem, and a growing body of work aims to detect, exploit, and mitigate them.DTScribe: Generating Models for Digital Twin Reporting using Local Large Language Models
The development of a digital twin brings together many stakeholders and technical components.SolBehave: Evaluating the Behavioural Correctness of LLM-Generated Smart Contracts
Large language models increasingly generate Solidity smart contracts that, once deployed, can never be patched, making a single latent fault permanent and exploitable.PreciseCoder: Faithful and Generalizable Debugging Beyond Unit-Test Rewards
Reinforcement learning (RL) from unit tests is the common recipe for post-training code models, but a unit test only asks whether the final program passes.A Systematic Study of Deprecated Android API Usage Updates
Android Application Programming Interfaces (APIs) continuously evolve, causing existing APIs to become deprecated and requiring developers to migrate their usages to recommended replacements.DivAlgo: A systematic evaluation of algorithmic diversity for code generation models
Code generation models are actively being used in professional and educational settings.Beyond Functional Correctness: Static Code Quality Profiling of LLM-Generated Code
Large language models (LLMs) are increasingly used for code generation, yet most evaluations still focus on whether generated code passes benchmark test suites.When Agent Evaluation Becomes Unreliable: An Empirical Study of Oracle Failures and Configuration-Dependent Measurement in an LLM Agent Benchmark
Agent evaluation harnesses are software systems that run test suites, generate inputs, and decide outcomes with test oracles.