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 11
When Static Reachability Says No: Checking Joern-Based Negative Verdicts for Python Against Execution
A negative reachability verdict removes a finding from human review.Lost in the Latent Space: How Code Embeddings Represent Functional Intent and Implementation Fidelity
Code embedding models have become a key building block for many software engineering applications, yet their internal representations remain poorly understood.Early Prediction of Cross-Service Implementation Scope: Evidence and Limits from Multiple Microservice Projects
Microservice architectures aim to localize change, yet feature requests may require implementation across service boundaries.STORY2DIFF: A Dataset Linking Real-World User Stories to Code Changes
Research on requirements-to-code tasks needs examples in which a genuine requirement is paired with the change that implemented it.PR4Code: A Pull Requests Dataset for AI Code Generation
AI-driven code generation is evolving from handling small, localized code-completion tasks toward supporting the implementation of full software features.ExploreRepair: Evidence-Specialized Agents for Vulnerability Repair under Information Constraints
Automated vulnerability repair must often operate with incomplete vulnerability information: developers may lack an accurate vulnerability classification or a provided proof-of-vulnerability (PoV)…UPPAAi: Towards LLM-Assisted Modeling, Verification, Analysis and Synthesis
For more than three decades, UPPAAL has supported the modelling and analysis of real-time and cyber-physical systems.Agentic process evidence
The way software gets built is changing dramatically.A Negotiation-Aware Hybrid LLM Framework for Intent Interpretation and Service Discovery
Increasingly, users express their needs as natural-language intents rather than structured requests.Unraveling the Efficacy of Neuron Coverage Criteria on Testing Large Language Models
Neuron coverage criteria aim to assess test suite quality and guide test input generation, but their effectiveness for Transformer-based language models remains unclear.When Requirements Interact: Scaling Long-Horizon Coding via Interdependent Specifications
To succeed in real-world long-horizon software development, coding agents must satisfy multi-dimensional task specifications, such as interface compatibility and error handling, and do so without…When Modernization Breaks Working Code: A Single-File Study of LLMs on Legacy PHP
Pasting a legacy file into an LLM and asking it to "modernize this" is an easy shortcut.Manual binding and semi-automated interface generation for efficient simulation backends with user-friendly frontends: A~demonstration for epidemic use cases
Challenges and chances of mathematical software are directly entangled with the programming language used.MetaVul: Agentic Harness Discovery for Vulnerability Detection
LLM agents are increasingly used to automate vulnerability detection, but reliable detection is challenging because agents must distinguish subtle, security-relevant fixes from benign code variation.RiskyPy: Toward Model-Calibrated Prompt Generation for Joint Security and Functionality Evaluation of LLM-Generated Code
Evaluating approaches that improve the security of LLM code generation requires datasets that jointly assess security and functionality and remain adapted to the capabilities of the models being…An Empirical Study of Gas Optimization Practices in Solidity Smart Contracts
In the Ethereum ecosystem, smart contract execution is governed by a gas model where every computational operation incurs a direct economic cost.Template-Free Dynamic Invariant Detection
A dynamic invariant detector proposes invariants, such as method pre- and postconditions, and rules out those that do not hold at run time.Mentorship, Interrupted: How GenAI Disrupts the GSoC Pipeline and Why Mentors Matter More
Generative AI (GenAI) makes open source software (OSS) contributions cheaper to produce, and it makes them say less about the people who produced them.Scaling Lean Theorem Proving for Real-World Code Verification
We present EasyProver, a Lean proving system built from recursive agents with isolated contexts, asynchronous search, parallel tactic probing, and an elastic elaboration service.Skeleton Coding: Program Structure as a Specification for Agents
Coding agents are typically provided end-to-end behavioral specifications that the code they produce should satisfy, such as tests and input--output examples.